• Stars
    star
    1
  • Language
    OCaml
  • License
    Do What The F*ck ...
  • Created almost 9 years ago
  • Updated almost 9 years ago

Reviews

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

Repository Details

A toy LCF-style prover