Exciting! How is the performance? I would guess that a Zig verifier could compete with the best.
On Wed, May 5, 2021 at 10:51 AM Marnix Klooster <[email protected]> wrote: > Hello all, > > In case anyone is interested, I'm not sure but I don't think I announced > this earlier: Since almost a year I've been working on and mostly-off on a > Metamath verifier in Zig (https://ziglang.org). And today I've reached > the milestone of supporting the last missing feature (except for allowing > '?' in a proof, which is not really important for me yet). > > The code is at https://github.com/marnix/zigmmverify; any feedback is > welcome. > > Groetjes, > <>< > Marnix > -- > Marnix Klooster > [email protected] > > -- > 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/CAF7V2P_C7QcKP8b_rxvEO6e5uXTMpS6gySU-iVCiqLD1gCW5qQ%40mail.gmail.com > <https://groups.google.com/d/msgid/metamath/CAF7V2P_C7QcKP8b_rxvEO6e5uXTMpS6gySU-iVCiqLD1gCW5qQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAFXXJSvqg4vHT%2B4HmaBhHSMCTdE0-EX0vRyVr6_tn%3DYFGgJmGA%40mail.gmail.com.
