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