Created in July 10, 2025
2025
📝 publish a preprint about modular verification of algorithms and data structures