Skip to content

Latest commit

 

History

History
17 lines (15 loc) · 383 Bytes

plain-lean4.lean

File metadata and controls

17 lines (15 loc) · 383 Bytes