RedPRL/redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

OCamlStars 212Forks 12Watchers 212Open issues 38License Apache License 2.0

Details

仓库信息

OwnerRedPRL

Homepage—

Last pushed2022-03-25

Last updated2025-12-15

Issues fetched at—

Community at a glance