chaudhuri/profound chaudhuri/profound

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • Created almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chaudhuri/profound
github

chaudhuri

Reviews

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

Repository Details

An experiment in formula linking as an interaction method

More Repositories

1

sympli

A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)
Standard ML
1
star
2

proofcert-deskolemize

Deskolemization in the FPC framework
AMPL
1
star
3

maetning

Disproving false theorems using saturation
OpenEdge ABL
1
star