MagmaEgg is an egg-based automatic theorem prover written in Rust.
Currently the source code is at https://github.com/lyphyser/equational_theories/tree/magmaegg-code
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
MagmaEgg is an egg-based automatic theorem prover written in Rust.
Currently the source code is at https://github.com/lyphyser/equational_theories/tree/magmaegg-code