DSiSc/why3

mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

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

在 GitHub 上查看原仓库