Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
Mikan: a proof assistant for cubical type theory (forked from Agda)
(
mathstodon.xyz
)
2 points
by
baruchel
6 hours ago
