diff options
| author | Andreas Grois <andi@grois.info> | 2024-01-08 22:16:56 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-01-08 22:16:56 +0100 |
| commit | d448f5966c82b6607cd620bb35e3155c6840d352 (patch) | |
| tree | bfe054e9dcc4832a0d601af2daa5d24b14da9715 /Common/Char.lean | |
| parent | 14e1b68f79eb6aea3a0f8285a457e0b44295ed85 (diff) | |
Progress on the proof that heap.insert keeps the heap intact.
Diffstat (limited to 'Common/Char.lean')
0 files changed, 0 insertions, 0 deletions