kodyvajjha/nyaya

Independent external kernel implementation for the Lean 4 theorem prover written in OCaml.

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

话题：lean4 · ocaml

在 GitHub 上查看原仓库