https://github.com/joshrule/formal-systems-learning-rs

Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
https://github.com/joshrule/formal-systems-learning-rs

hindley-milner learning program-induction rust science simulation term-rewriting

Last synced: about 1 month ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/joshrule/formal-systems-learning-rs
• Owner: joshrule
• License: mit
• Created: 2019-01-17T14:35:37.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-05-07T14:44:49.000Z (about 5 years ago)
• Last Synced: 2024-02-11T14:04:38.746Z (5 months ago)
• Topics: hindley-milner, learning, program-induction, rust, science, simulation, term-rewriting
• Language: Rust
• Size: 30.3 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - formal-systems-learning-rs - simulations to learn formal systems as typed first-order term rewriting systems. (Unclassified / Libraries)

README

        
# [formal-systems-learning-rs][0]

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

[0]: https://github.com/joshrule/formal-systems-learning-rs

     "GitHub - formal-systems-learning-rs"

[1]: https://www.rust-lang.org

     "The Rust Programming Language"

[2]: https://en.wikipedia.org/wiki/Two-alternative_forced_choice

     "Wikipedia - Two-alternative forced choice"

[3]: https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system

     "Wikipedia - Hindley-Milner Type System"

[4]: https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems

     "Wikipedia - Term Rewriting Systems"

[5]: https://en.wikipedia.org/wiki/MU_puzzle "Wikipedia - MU puzzle"