2026 07 08

Created in July 08, 2026

2026

📝 publish a preprint about amortized analysis in dependent type theory