proofcert/fpccheck proofcert/fpccheck

  • Stars
    star
    4
  • Rank 3,287,502 (Top 66 %)
  • Language AMPL
  • License
    Other
  • Created over 9 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
proofcert/fpccheck
github

proofcert

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

fpc-elpi

AMPL
5
star
2

checkers

This is not a game.
AMPL
3
star
3

pbt

Property-based testing in the FPC framework
AMPL
2
star
4

lkf-snapshot

AMPL
1
star
5

trace-checker

a certifier for the trace SAT fomat
Prolog
1
star
6

lkfun

A purely functional proof checker
OCaml
1
star
7

PPAssistant

A generic proof assistant based on Prolog
AMPL
1
star