OpenSQZ/structural_coq_prover

A machine learning-enhanced automatic theorem prover for the Coq formal proof system

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

在 GitHub 上查看原仓库