diff options
| author | Vincent Semeria | 2019-08-06 18:47:57 +0200 |
|---|---|---|
| committer | Vincent Semeria | 2019-08-06 18:47:57 +0200 |
| commit | eab34b814f1d06767fee07690e3ab6a56236ccde (patch) | |
| tree | 17c35936543da755bb89387b33b2465c62faa82c /kernel/nativecode.mli | |
| parent | 76a11fb070cc2cf3c1ebce32cd692fa64c31767f (diff) | |
Prove the completeness of real numbers from logical axiom sig_not_dec
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions