Rust simulations using 2AFC triads to learn typed first-order term rewriting systems modeling various versions of the MU formal system.
joshrule / formal-systems-learning-rs Goto Github PK
View Code? Open in Web Editor NEWRust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
License: MIT License