Skip to content

Latest commit

 

History

History
518 lines (333 loc) · 309 KB

matita-basics-lists-list.agda

File metadata and controls

518 lines (333 loc) · 309 KB