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

Repository navigation

try

Public

About

The compiled web interface of Naproche, hosted via GitHub Pages

naproche.github.io/try/

Custom properties

0 stars

2 watching

Report repository

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

About

The compiled web interface of Naproche, hosted via GitHub Pages

naproche.github.io/try/

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages