marnix/zigmmverify

marnix/zigmmverify 是 GitHub 上的开源项目。

语言：Zig · GitHub 星标：13 · Fork：0

话题：metamath · proof-assistant · proof-automation · proofs · verifier · zig · ziglang

在 GitHub 上查看原仓库