Back to search
Top Contributors
1.4k
commits
334
commits
86
commits
61
commits
38
commits
29
commits
12
commits
9
commits
8
commits
5
commits
A function definition package for Rocq
Stars
236
Forks
55
Watchers
236
Open Issues
91
Overall repository health assessment
No package.json found
This might not be a Node.js project
1.4k
commits
334
commits
86
commits
61
commits
38
commits
29
commits
12
commits
9
commits
8
commits
5
commits
Merge pull request #709 from ppedrot/constr-type-as-first-order-data
8bdf4d9View on GitHubMerge pull request #707 from SkySkimmer/only-above
271ef02View on GitHubMerge pull request #706 from SkySkimmer/qglobal-not-qvar
d569909View on GitHubAdapt to rocq-prover/rocq#21820 (collapse_sort_variables arg change)
e22df6bView on GitHubAdapt to rocq-prover/rocq#21767 (qglobal is not qvar)
c7ea9a5View on GitHubMerge pull request #704 from SkySkimmer/wit-tac-value
b3f3c42View on GitHubAdapt to rocq-prover/rocq#21680 (wit_tactic top type is tacvalue)
91d332eView on GitHubMerge pull request #703 from SkySkimmer/simpl-indtypig
e6717a2View on GitHubAdapt to rocq-prover/rocq#21760 (top_allowed_sort returns qualityorset)
35387dfView on GitHubMerge pull request #702 from mattam82/fix-minimize-universes-API
879619aView on GitHubMerge pull request #701 from SkySkimmer/genarg-correct-typ
f34dbf8View on GitHubAdapt to rocq-prover/rocq#21655 (genarg interp must be at 'top type)
8b62dcfView on GitHub