Name | Size | Last Modified |
---|---|---|
README.md | 2.2 KB | 2/26/2020, 11:10:17 PM |
_target/ | 1 item | 2/19/2020, 2:55:09 AM |
complex.lean | 17.8 KB | 5/11/2020, 11:43:34 AM |
complex.olean | 57 KB | 5/11/2020, 11:44:23 AM |
docs/ | 1 item | 2/19/2020, 2:52:24 AM |
hints/ | 9 items | 2/19/2020, 3:02:03 AM |
leanpkg.toml | 222 bytes | 2/19/2020, 2:55:15 AM |
src/ | 2 items | 2/19/2020, 2:52:24 AM |