diff options
| author | Son Ho | 2023-06-13 16:22:08 +0200 |
|---|---|---|
| committer | Son Ho | 2023-06-13 16:22:08 +0200 |
| commit | ef6204e1e1b0a21975fcd9e3d0e5aa7ec3d9125f (patch) | |
| tree | ef0beda0a204970140f4cd4b5ae684f45e9205e8 /tests/hol4/betree/betreeMain_FunsScript.sml | |
| parent | c034a7ea1335705ca1e1a7461fac257df6757d57 (diff) | |
Find sufficient validity criteria for Diverge.lean
Diffstat (limited to 'tests/hol4/betree/betreeMain_FunsScript.sml')
0 files changed, 0 insertions, 0 deletions