From 8545e2e14c29e461e90a81707019d9194e11d46d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Mon, 16 Dec 2024 13:36:56 +0100 Subject: [PATCH] wip --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 98867a7..16c6149 100644 --- a/README.md +++ b/README.md @@ -251,7 +251,7 @@ On a machine with 32 processors i9-13950HX, 128 Gb RAM, HOL-Light ea45176, Hol2d | HOL-Light file | dump | size | steps | thms | lp | v | size | vo | |------------------------------|-------|--------|-------|-------|--------|--------|-------|--------| | hol.ml | 3m57s | 3 Gb | 3 M | 5687 | 40s | 34s | 1 Gb | 48m36s | -| Multivariate/make_complex.ml | 2h48m | 158 Gb | 90 M | 41883 | 54m58s | 25m17s | 94 Gb | >63h | +| Multivariate/make_complex.ml | 2h48m | 158 Gb | 90 M | 41883 | 54m58s | 25m17s | 84 Gb | >63h | Translating HOL-Light proofs to Dedukti ---------------------------------------