@proofcert
Guthub

proofcert

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Org. Rank 123,666 (Top 40 %)
  • Registered over 9 years ago
  • Most used languages
    AMPL     75.0 %
    Prolog
         12.5 %
    OCaml
         12.5 %

Top repositories

1

fpc-elpi

AMPL
5
star
2

fpccheck

AMPL
4
star
3

checkers

This is not a game.
AMPL
3
star
4

pbt

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

lkf-snapshot

AMPL
1
star
6

trace-checker

a certifier for the trace SAT fomat
Prolog
1
star
7

lkfun

A purely functional proof checker
OCaml
1
star
8

PPAssistant

A generic proof assistant based on Prolog
AMPL
1
star