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
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Rust simulations using 2AFC triads to learn typed first-order term rewriting systems modeling various versions of the MU formal system.