t3tra-dev/TsadeEngine

直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン

语言：Rust · GitHub 星标：19 · Fork：0

在 GitHub 上查看原仓库