GitHub repository: oembo-sse/leanathon-2025
Primary language: Lean
Created: 2025-04-10T12:05:00Z
Description: Course proposal/description for DTU Leanathon 2025