Started contributing to Project Numina on formal reasoning and automated theorem proving. Check out Kimina Prover.