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/coq/misc/_CoqProject | |
parent | c034a7ea1335705ca1e1a7461fac257df6757d57 (diff) |
Find sufficient validity criteria for Diverge.lean
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions