bbentzen/cube

Experimental proof assistant for cubical type theory with proof irrelevance

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

话题：cubical-type-theory · proof-assistant · theorem-proving · type-theoretic-formalization · typechecker

在 GitHub 上查看原仓库