GitHub topics: coq-tactic
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: 16 days ago - Pushed at: 16 days ago - Stars: 31 - Forks: 22
validsdp/validsdp
A Coq tactic for proving multivariate inequalities using SDP solvers
Language: Coq - Size: 30.9 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 10 - Forks: 1
rocq-community/atbr
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
Language: Coq - Size: 1.64 MB - Last synced at: 10 days ago - Pushed at: 8 months ago - Stars: 23 - Forks: 5
VERIMAG-Polyhedra/VplTactic
A Coq Tactic for Arithmetic (based on VPL)
Language: Coq - Size: 38.1 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1
jinxinglim/coq-formalized-divide-and-conquer
This respository contains the formalization of different variations of divide-and-conquer algorithm design paradigm for lists. As a case study, we will see how these different variations lead to different sorting algorithms.
Language: Coq - Size: 42 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
boulme/coq-tutorial-ml-tactics Fork of braibant/coq-tutorial-ml-tactics
A tutorial on how to write OCaml tactics for the Coq proof assistant
Language: OCaml - Size: 32.2 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
Zimmi48/transfer
Automatic transfer of theorems along isomorphisms in Coq
Language: Coq - Size: 417 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0
JoJoDeveloping/ACP
My project for a course at Saarland University called "Advanced Coq Programming". My work is limited to the Reflection.v and GeneralReflection.v files, with some slight modifications in PA.v and ZF.v
Language: HTML - Size: 835 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
Zimmi48/TTT2017
Abstract and slides for talk at TTT2017
Language: TeX - Size: 226 KB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0