Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Coq Elpi | 117 | 3 months ago | 64 | lgpl-2.1 | OCaml | |||||
Coq plugin embedding elpi | ||||||||||
Dafny Sandbox | 17 | 6 months ago | Dafny | |||||||
Dafny for Metatheory of Programming Languages | ||||||||||
Coq Ltac2 Experiments | 10 | 3 years ago | Coq | |||||||
All the code I've ever written in Ltac2 | ||||||||||
Reification By Parametricity | 10 | 3 years ago | mit | Mathematica | ||||||
Fast Setup for Proof by Reflection, in Two Lines of Ltac. | ||||||||||
Engine Bench | 5 | 2 years ago | 1 | mit | Coq | |||||
Benchmarks for various proof engines | ||||||||||
Cfgv | 5 | 4 years ago | Coq | |||||||
A generic library for reasoning about languages with binders |