Mikan (/mɪˈkɑːn/, after the Japanese name for Citrus unshiu) is a free and libre interactive proof assistant for cubical type theory — https://codeberg.org/1lab/mikan — Statement of No AI
Mikan
Posted
Author
Stuart
Categories
Programming Language