On Tue, 3 Dec 2019 06:32:07 -0800 (PST), Marko Grdinic <[email protected]> wrote:
> Well, at any rate as I've been working on this for 9 days now I'll stop
> here. I do not feel like going those last few extra miles just to implement
> proof decompression and test it thoroughly on the big library. I am not
> sure how stringent the criteria for inclusion on that list of verifiers in
> other languages are, but it might be good enough for consideration anyway
> even in its current form.
You can use Metamath.exe to decompress proofs and
then run your tool if you'd like to. You can see that discussion here:
https://groups.google.com/forum/#!msg/metamath/Hey2L9f1ULk/vXMWVcI5DwAJ
--- David A. Wheeler
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/E1icH20-0001ZO-6b%40rmmprod07.runbox.
