Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Files

Latest commit

 

History

History
720 lines (606 loc) · 31.3 KB

basic.lean

File metadata and controls

720 lines (606 loc) · 31.3 KB