marigold-dev/easier-proofs

A project which aim to help engineers to make proves easily

语言：OCaml · GitHub 星标：14 · Fork：2

话题：coq · ocaml · proof-assistant · safety

在 GitHub 上查看原仓库