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.
