GitHub repository: Happyves/BerLean_Workshop
Primary language: Lean
Created: 2024-04-24T20:14:41Z
Description: Repo for the first BerLean workshop.