• Stars
    star
    4
  • Rank 3,286,750 (Top 66 %)
  • Language
    Scala
  • License
    Other
  • Created over 1 year ago
  • Updated about 1 month ago

Reviews

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

Repository Details

A proof-of-concept LCF-style interactive theorem prover for HOL(C)