Search for person "Kiiya" returned 1 result

Intro to Lean 4: A language at the intersection of programming and mathematics

• Science
• 60 min
• 2024-05-31
• 580
• Kiiya
Gulaschprogrammiernacht 22