2026 07 09

Created in July 09, 2026

2026

📝 publish a preprint about amortized analysis in dependent type theory