Lean4 library for indexed inductive container types (i.e., Vec)
Latest commits.
Builders behind this project.
