the next generation of the in-browser educational proof assistant
511 B · 24 lines
YAML
at main