Dutch Formal Methods Day less than 1 minute readUniversity of Utrecht, The Netherlands, 2024The full programMy talk on Fibred Categories in Lean 4 Previous Next