Would be cool to use egg or egg smol somehow. Hmm. Unification modulo egraphs here too?
https://github.com/newca12/awesome-rust-formalized-reasoning
Appell tiger book?
datalog
VF2
dedukti and kontroli
https://github.com/mAarnos/Serkr
https://github.com/01mf02/cop-rs meancop