/formal-systems-learning-rs

Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems

Primary LanguageRustMIT LicenseMIT

No issues in this repository yet.