MoL-2023-03: Alex C. Keizer Implementing a definitional (co)datatype package in Lean 4, based on quotients of polynomial functors 1.Full Text, 2.Abstract. < Back
