Łukasz Czajka's repositories
coinduction
A Coq plugin to help with proofs by coinduction.
diaconescu
Formalisation of two variants of Diaconescu's theorem
eval-compcert
CoqHammer evaluation results on CompCert
juvix-docs
Juvix Official Documentation
Language:MakefileGPL-3.0000
minijuvix
A functional language for writing validity predicates
Language:HaskellGPL-3.0000
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
spike-prover
Automatically exported from code.google.com/p/spike-prover
vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Language:RustApache-2.0000