diff options
| author | Son Ho | 2024-04-04 15:29:11 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 15:30:05 +0200 |
| commit | fc0b39c4fe48fdbab06d5fd32e0a2b7dcae674e6 (patch) | |
| tree | d91a1e767d99c25d903a50e6c1af98784151b6cc /backends/hol4 | |
| parent | b4f5719a10427dfc168f1210b05397599e761f9a (diff) | |
Fix the coerce notation for scalars and update some lemmas
Diffstat (limited to 'backends/hol4')
0 files changed, 0 insertions, 0 deletions