search

andrewchawk / casanova-fly

Casanova Fly is a formally-verified computer algebra system.
The Unlicense
0 stars 0 forks source link

Defining Tree-Based Evaluation #11

Open andrewchawk opened 1 month ago

andrewchawk commented 1 month ago

At the cost of an even higher page count, this change should implement the tree-based evaluation which was described in #8.