Computer Laboratory, LT1


2025-08-15 11:15: Recursive Definitions in Lean (Joachim Breitner, Lean FRO)

2025-08-15 11:15: Recursive Definitions in Lean (Joachim Breitner, Lean FRO)