t3tra-dev/TsadeEngine

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

Rust19 stars0 forks

What it does

TsadeEngine is a proof search engine that utilizes genetic algorithms to verify theorems in intuitionistic propositional logic. It is currently advancing into first-order predicate logic, making it a significant tool for researchers in formal logic and AI.

Star history

Not enough history yet — 1 day(s) recorded. The daily snapshot builds this up.

Tracking

Last trending: 2026-02-21

Creator kit

Hook

Explore the innovative TsadeEngine, a Rust-based tool that uses genetic algorithms to validate theorems in logic!

Content angles

A tutorial on how to get started with TsadeEngine for theorem verification.
An exploration of genetic algorithms and their application in formal logic using TsadeEngine.
Comparative analysis of TsadeEngine with other proof search engines in the field.

Who should care

Researchers, developers, and enthusiasts in formal logic, AI, and programming.