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