Skip to content

Latest commit

 

History

History
83 lines (63 loc) · 2.04 KB

bool-thms.agda

File metadata and controls

83 lines (63 loc) · 2.04 KB