martinberger/hol-c martinberger/hol-c

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Scala
  • License
    Other
  • Created almost 2 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
martinberger/hol-c
github

martinberger

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)

More Repositories

1

n-queens-with-lines

A toy repo to demonstrate to students the use of GitHub actions
Java
1
star