Pinned Repositories
checkers
This is not a game.
fpc-elpi
fpccheck
lkf-snapshot
lkfun
A purely functional proof checker
maxchecker-snapshot
p9-snapshot
pbt
Property-based testing in the FPC framework
PPAssistant
A generic proof assistant based on Prolog
trace-checker
a certifier for the trace SAT fomat
proofcert's Repositories
proofcert/fpc-elpi
proofcert/fpccheck
proofcert/checkers
This is not a game.
proofcert/pbt
Property-based testing in the FPC framework
proofcert/lkf-snapshot
proofcert/lkfun
A purely functional proof checker
proofcert/PPAssistant
A generic proof assistant based on Prolog
proofcert/trace-checker
a certifier for the trace SAT fomat
proofcert/maxchecker-snapshot
proofcert/p9-snapshot
proofcert/proofcert.github.io