GitHub topics: nix-action
rocq-community/aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Language: OCaml - Size: 598 KB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 31 - Forks: 22
rocq-community/sudoku
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
Language: Coq - Size: 318 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 3
rocq-community/buchberger
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
Language: Coq - Size: 272 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 1
rocq-community/qarith-stern-brocot
Binary rational numbers in Coq [maintainer=@herbelin]
Language: Coq - Size: 394 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 4
rocq-community/jmlcoq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
Language: Coq - Size: 430 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
rocq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
Language: Coq - Size: 374 KB - Last synced at: 24 days ago - Pushed at: 10 months ago - Stars: 1 - Forks: 3
rocq-community/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Language: Coq - Size: 1.94 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 32 - Forks: 7
rocq-community/almost-full
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
Language: Coq - Size: 1.47 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
rocq-community/pocklington
Pocklington's criterion for primality in Coq [maintainer=@Casteran]
Language: Coq - Size: 96.7 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0