Topic: Agda

• Beginner Resources for Formalizing Lambda Calculi - May 10, 2025