GitHub - naproche/try: The compiled web interface of Naproche, hosted via GitHub Pages

Name		Name	Last commit message	Last commit date
codemirror-5.65.2		codemirror-5.65.2
css		css
fontawesome-free-6.1.1-web		fontawesome-free-6.1.1-web
img/icons		img/icons
js		js
eprover.js		eprover.js
favicon.ico		favicon.ico
index.html		index.html
naproche.js		naproche.js
reset.css		reset.css
robots.txt		robots.txt
spass.js		spass.js
spass.wasm		spass.wasm
style.css		style.css
vampire.js		vampire.js