3 Commits

Author	SHA1	Message	Date
Anthony Scemama	94fb57b9ea	Automate has functions	2023-10-11 11:18:13 +02:00
Anthony Scemama	142757572f	Check consistency of versions in OCaml	2023-10-11 10:56:30 +02:00
Anthony Scemama	59d14d0a21	Creating rust binding	2023-10-10 18:31:55 +02:00