raw-validity
This program checks validity of l-group formulas according to the algorithm described in
this article
by Almudena Colacito and George Metcalfe.
Try the webapp
Check out the Rust source code
See how I run Rust on a static website