GitHub repository: marigold-dev/easier-proofs
Primary language: OCaml
Description: A project which aim to help engineers to make proves easily