1 result found Sort:

4
34
apache-2.0
5
A WIP definitional (co)datatype package for Lean4
Created 2022-03-15
296 commits to main branch, last one 2 months ago