the next generation of the in-browser educational proof assistant
holbert-ng tsconfig.node.json
630 B · 25 lines
JSON
at main