Name		Name	Last commit message	Last commit date
simulations		simulations
src		src
trs		trs
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
project.org		project.org

Repository files navigation

list-routine-learning-rs

Rust simulations using input/output examples to learn typed first-order term rewriting systems that generalize the binomial expansion problem.

About

Rust simulations using input/output examples to learn typed first-order term rewriting systems that generalize the binomal expansion problem

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages