Takashi's Notes

Home

❯

papers

❯

type theory

❯

Theorems For Free

Theorems For Free

Nov 15, 20251 min read

Notes

Graph View

Created with Quartz v4.5.1 © 2025

Homepage
GitHub
RSS
Sitemap