GitHub repository: riccardobrasca/LFTCM2024
Primary language: Lean
Created: 2024-02-23T10:35:40Z
Description: Repository for the conference LFTCM2024