diff options
| author | Andreas Grois <andi@grois.info> | 2024-06-27 20:06:21 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-06-27 20:06:21 +0200 |
| commit | c09cd84b1f6f8e669fa7daadfe73ed2171fe3d09 (patch) | |
| tree | d4292cb371fefaf74a5c84fd932a54bed5647d62 /Common/String.lean | |
| parent | 5575b06173106c3364ffc7985679107ebf282702 (diff) | |
Continue on popLast validity proof. Still incomplete.
Diffstat (limited to 'Common/String.lean')
0 files changed, 0 insertions, 0 deletions