Thiago Felicissimo's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
Language:C000
Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCamlNOASSERTION000
Language:Coq000
Language:Makefile000
europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby000
Language:Python000
Language:Makefile000
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
NOASSERTION000
Logipedia
An encyclopedia of proofs
000
Language:C000
Language:OCaml000
000
Language:Haskell000
Language:HTML000
Language:Python000
Language:OCaml000
Language:Java000
Language:Java000
Language:Java000
Language:C000
Language:C000
Language:C000
Language:Python000
universo
A universe reconstruction tool based on Dedukti and the encoding of CiC in Dedukti
000
Language:Shell000