Created on February 01, 2025
2025
Started contributing to Project Numina on formal reasoning and automated theorem proving.