https://github.com/lhitori/uxm

Unusable eXpression Manager
https://github.com/lhitori/uxm

boucles cycles expression maths ocaml proof proof-assistant solver verificator

Last synced: 9 days ago
JSON representation

Unusable eXpression Manager

• Host: GitHub
• URL: https://github.com/lhitori/uxm
• Owner: lhitori
• Created: 2025-03-18T18:58:22.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-06-20T06:31:55.000Z (about 1 year ago)
• Last Synced: 2025-10-19T02:58:58.640Z (9 months ago)
• Topics: boucles, cycles, expression, maths, ocaml, proof, proof-assistant, solver, verificator
• Language: OCaml
• Homepage:
• Size: 173 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          
~  __  __     __  __     __    __    

~ /\ \/\ \   /\_\_\_\   /\ "-./  \   

~ \ \ \_\ \  \/_/\_\/_  \ \ \-./\ \  

~  \ \_____\   /\_\/\_\  \ \_\ \ \_\ 

~   \/_____/   \/_/\/_/   \/_/  \/_/ 

> unUsable eXpression Manager

Just a "Travail d'Initiative Personnelle Encadré" project :3

Compile & Run:

- ocamlc uxm.ml -o uxm

- ./uxm 

See 'examples/' for more.