microproofs 97ee1a8ba6 Start working on using a decision tree for when expr. Also fmt fix. Other Stuff

2024-11-01 19:34:45 -04:00

..

clausify

Start working on using a decision tree for when expr. Also fmt fix. Other Stuff

2024-11-01 19:34:45 -04:00

knights

Start working on using a decision tree for when expr. Also fmt fix. Other Stuff

2024-11-01 19:34:45 -04:00