-
Notifications
You must be signed in to change notification settings - Fork 14
Insights: rocq-prover/stdlib
Overview
-
- 6 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 2 New issues
Could not load contribution data
Please try again later
6 Pull requests merged by 3 people
-
deprecate Rtauto
#161 merged
Jun 9, 2025 -
nsatz: resolve domain early and thread the instance
#166 merged
Jun 7, 2025 -
split nsatz into per-domain pieces
#155 merged
Jun 7, 2025 -
CI-test dune build on Alpine Linux
#163 merged
Jun 5, 2025 -
Add clean in Makefile
#120 merged
Jun 4, 2025 -
Fix filename in comment
#164 merged
Jun 4, 2025
2 Pull requests opened by 1 person
-
Enforce and print subcomponents, All.v using coqdep
#167 opened
Jun 7, 2025 -
Run test-suite on Alpine CI
#169 opened
Jun 9, 2025
2 Issues opened by 1 person
-
Github CI anomaly zoo
#168 opened
Jun 7, 2025 -
Design: connecting booleans to their meaning
#165 opened
Jun 5, 2025
6 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Add support for existential quantifier in nsatz
#160 commented on
Jun 5, 2025 • 26 new comments -
Reducing per-file bureaucracy
#139 commented on
Jun 7, 2025 • 0 new comments -
GitHub CI queuing
#153 commented on
Jun 9, 2025 • 0 new comments -
split FinFun and Permutation into List and Vector
#154 commented on
Jun 5, 2025 • 0 new comments -
Zmod nsatz
#156 commented on
Jun 7, 2025 • 0 new comments -
Deprecate Relation_definitions, remove from supported files
#162 commented on
Jun 5, 2025 • 0 new comments