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