Re: [Metamath] New community verifier?

[David A. Wheeler]

> On Nov 20, 2020, at 3:02 PM, Mario Carneiro <di.g...@gmail.com> wrote:
> As far as language choice goes, I would recommend Rust.


I should add that I think it’d be valuable if a proof verifier/proof assistant 
was invokable through just a web browser. It doesn’t need to be full speed, but 
one you can try out can be really helpful.

If Rust is used, there’s an obvious way to do that: WebAssembly. Compile the 
Rust library into WebAssembly, then invoke it from JavaScript. That would mean 
that a single library could be used in different circumstances.

--- 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 metamath+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/metamath/31718BF0-E1A8-4E53-9463-9E06BA273742%40dwheeler.com.