marigold-dev/easier-proofs

A project which aim to help engineers to make proves easily

OCaml