philzook58/knuckledragger

A Low Barrier Proof Assistant

语言：Python · GitHub 星标：180 · Fork：9

话题：logic · proof-assistant · python · theorem-proving

在 GitHub 上查看原仓库