Skip to content

Pull requests: SSProve/ssprove

New pull request New
7 Open 94 Closed
7 Open 94 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Use dune build in opam/nix packages part: dependencies part: infrastructure Issues and PRs related to CI, makefile, opam, dune, scripts, etc.
#114 opened Apr 3, 2026 by 4ever2 Collaborator • Draft
Test Coq 9.2+rc2 part: dependencies
#105 opened Feb 21, 2026 by 4ever2 Collaborator • Draft
Add some useful advantage properties type: enhancement Enhancement to an existing feature
#83 opened Jun 6, 2025 by cmester0 Collaborator Loading…
12
Jasmin, Mathcomp2 and Coq.8.18.0-8.20.0
#53 opened Jan 22, 2025 by 4ever2 Collaborator • Draft
factor out the OTP proof to work with an abstract xor
#26 opened Mar 23, 2022 by haselwarter Contributor Loading…
1
Generate .opam and CI from coq-community/templates
#23 opened Feb 7, 2022 by TheoWinterhalter Contributor Loading…
8
Refactor semantics
#17 opened Jan 18, 2022 by TheoWinterhalter Contributor • Draft
3
ProTip! Follow long discussions with comments:>50.