martinberger/hol-c

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

语言：Scala · GitHub 星标：6 · Fork：1

话题：logic · mathematical-logic · theorem-prover

在 GitHub 上查看原仓库