Default branch

master 11d23afa45 · Remove the typed postponement theorem · Updated 2025-01-26 14:51:47 -05:00

ZIP  TAR.GZ

Branches

nonessential c83be03230 · Finish antirenaming · Updated 2025-01-30 16:14:56 -05:00    yiyunliu	0 16	Compare	ZIP  TAR.GZ
tstar a27c41c5d1 · Add lemmas that bad forms are impossible · Updated 2025-01-29 12:19:45 -05:00    yiyunliu	0 4	Compare	ZIP  TAR.GZ