8000 GitHub - gleachkr/ProofJS: A UI Widget for Gentzen-style proof layouts · GitHub
[go: up one dir, main page]
Skip to content
gleachkr
ProofJS
Public

About

A UI Widget for Gentzen-style proof layouts

gleachkr.github.io/ProofJS
Activity

Stars

3 stars

Watchers

0 watching

Forks

1 fork
Report repository
BranchesTags

Latest commit

 

History

54 Commits

Folders and files

NameName
Last commit message
Last commit date
.gitignore
.gitignore
 
 
all.js
all.js
 
 
demo.css
demo.css
 
 
index.html
index.html
 
 
proof.css
proof.css
 
 
proof.js
proof.js
 
 

About

A UI Widget for Gentzen-style proof layouts

gleachkr.github.io/ProofJS
Activity

Stars

3 stars

Watchers

0 watching

Forks

1 fork
Report repository

Releases

Packages

Used by

Contributors

Languages
0