proofcert/PPAssistant proofcert/PPAssistant

  • Stars
    star
    1
  • Language AMPL
  • License
    MIT License
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
proofcert/PPAssistant
github

proofcert

Reviews

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

Repository Details

A generic proof assistant based on Prolog

More 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