diff options
| author | Son HO | 2024-04-04 15:50:55 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-04 15:50:55 +0200 |
| commit | 3909a38f3f8c58c9f97d36777c52e02617ef70b4 (patch) | |
| tree | 31d0746ca86d040b5028c747a6bbbec18071ac48 /backends/lean/Base/Diverge.lean | |
| parent | 7f7387c5519da00133ad557450695e6d6838f93c (diff) | |
| parent | fc0b39c4fe48fdbab06d5fd32e0a2b7dcae674e6 (diff) | |
Merge pull request #112 from AeneasVerif/son/coerce
Fix the coerce notation for scalars and update some lemmas
Diffstat (limited to 'backends/lean/Base/Diverge.lean')
0 files changed, 0 insertions, 0 deletions