krishnasys-admin/PNova

Interactive theorem prover built from first principles in OCaml.

语言：OCaml · GitHub 星标：1 · Fork：0

话题：first-principles · interactive · maths · ocaml · proof · theorem-proving · verification

在 GitHub 上查看原仓库