https://github.com/lhitori/uxm

Unusable eXpression Manager

boucles cycles expression maths ocaml proof proof-assistant solver verificator

Last synced: 15 Jul 2026