chaudhuri/sympli chaudhuri/sympli

  • This repository has been archived on 10/Sep/2021
  • Stars
    star
    1
  • Language Standard ML
  • License
    BSD 2-Clause "Sim...
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chaudhuri/sympli
github

chaudhuri

Reviews

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

Repository Details

A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)

More Repositories

1

profound

An experiment in formula linking as an interaction method
OCaml
3
star
2

proofcert-deskolemize

Deskolemization in the FPC framework
AMPL
1
star
3

maetning

Disproving false theorems using saturation
OpenEdge ABL
1
star