joshrule / formal-systems-learning-rs

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

formal-systems-learning-rs

Rust simulations using 2AFC triads to learn typed first-order term rewriting systems modeling various versions of the MU formal system.