Change the repository type filter
All
Repositories list
54 repositories
lambdapi
PublicProof assistant based on the λΠ-calculus modulo rewritingTranslationTemplates
PublicConstrukti
PublicDeducteam.github.io
Publiczenon_modulo
Publicopam-lambdapi-repository
Publiclambdapi-zenon
Publicisabelle_dedukti
Publicopam-repository
Publiclean2dk
Publiclambdapi-logics
Publiclambdapi-stdlib
Publichol2dk
Publicpersonoj
Publicpog2why
PublicDedukti
PublicDedukti-standard
Publicmatita_lib_in_agda
Publiccoq-hol-light
Publiccc-in-dk
Publicekstrakto
Publicnubo
PublicNubo is a repository of interoperable formal proofs written in Dedukti.Sukerujo
Publichol-light
Publicsttfaxport
PublicB-in-Dedukti
PublicPVS
Publicverine
Publicsmt2d
Publickontroli-rs
Public