search

martinberger / hol-c

A proof-of-concept LCF-style interactive theorem prover for HOL(C)
Other
4 stars 1 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated