GitHub repository: masinag/arfv2025
Primary language: SMT
Description: Material for the course Automated Reasoning and Formal Verification a.a. 2024/2025 from the University of Trento