-
Notifications
You must be signed in to change notification settings - Fork 21
Pull requests: SSProve/ssprove
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add support for latest version of math-comp algebra and analysis
#124
opened Jul 30, 2026 by
lyonel2017
Loading…
1 task
Address the deprecation warnings introduced in MathComp <= 2.4 (also adapt to math-comp/math-comp#1600)
#123
opened Jul 24, 2026 by
pi8027
Contributor
Loading…
Use dune build in opam/nix packages
part: dependencies
part: infrastructure
Issues and PRs related to CI, makefile, opam, dune, scripts, etc.
Add some useful advantage properties
type: enhancement
Enhancement to an existing feature
#83
opened Jun 6, 2025 by
cmester0
Collaborator
Loading…
factor out the OTP proof to work with an abstract xor
#26
opened Mar 23, 2022 by
haselwarter
Contributor
Loading…
Generate .opam and CI from coq-community/templates
#23
opened Feb 7, 2022 by
TheoWinterhalter
Contributor
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.