diff options
| author | Andreas Grois <andi@grois.info> | 2024-09-07 14:15:08 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-09-07 14:15:08 +0200 |
| commit | 169846b8697f3658b74a01e59ac18391bad56d89 (patch) | |
| tree | 59a311ad4b93fe0d1993a537da10469fca2bf698 /Common.lean | |
| parent | dc84ce14889c19f211cd6cd2cc40400328aed934 (diff) | |
Day 10 Parsing. If I don' want to prove the inverse, it's done.
Diffstat (limited to 'Common.lean')
0 files changed, 0 insertions, 0 deletions