philzook58/Knuckledragger.jl

Julia Semi-Automated Proof Assistant

语言：Julia · GitHub 星标：7 · Fork：1

话题：proof-assistant · smt · theorem-proving

在 GitHub 上查看原仓库