diff options
| author | Li-yao Xia | 2020-11-12 23:35:45 -0500 |
|---|---|---|
| committer | Li-yao Xia | 2020-11-13 01:04:59 -0500 |
| commit | e3a6e5f16e91e4b79a52bf11301db02211c74528 (patch) | |
| tree | 27e951874684b5f460ef8666a989188f6b65f561 /dev/include | |
| parent | a10e7b3e470d1f944179c5bc7c85ec5a2c3c4025 (diff) | |
Fix proof of Coq.Program.Wf.Fix_F_inv to be axiom-free
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions