Skip to content

Latest commit

 

History

History
95 lines (70 loc) · 2.88 KB

tinyHOL.kif

File metadata and controls

95 lines (70 loc) · 2.88 KB