1 result found Sort:
A WIP definitional (co)datatype package for Lean4
Created
2022-03-15
296 commits to main branch, last one 2 months ago
1 result found Sort: