issues
search
meta-logic
/
sellf
SubExponential Linear Logic Framework for reasoning about sequent calculus systems
7
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Included monopole check, basic invertibility, and autocomplete feature
#23
znaeem
closed
6 years ago
1
Invertibility and other features
#22
znaeem
closed
6 years ago
0
Better object logic proof search
#21
gisellemnr
opened
6 years ago
0
Better cut-elimination coverage
#20
gisellemnr
opened
6 years ago
0
subexponentials.ml should be an immutable structure
#19
gisellemnr
opened
6 years ago
0
context.ml should be an immutable structure
#18
gisellemnr
opened
6 years ago
0
Fix permutation
#17
ningjize
closed
6 years ago
1
Load is better now.
#16
znaeem
closed
6 years ago
0
Refactor specification.ml
#15
gisellemnr
closed
6 years ago
1
Add permutation cases
#14
ningjize
closed
6 years ago
2
Functional code
#13
gisellemnr
closed
6 years ago
1
Build the testing system
#12
ningjize
closed
6 years ago
0
Build the testing system
#11
ningjize
closed
6 years ago
1
Permutations with cut
#10
gisellemnr
opened
7 years ago
0
Built-in kinds
#9
gisellemnr
opened
7 years ago
0
Syntax change
#8
gisellemnr
opened
7 years ago
0
Quati: Download LaTeX button
#7
leonardolima
opened
7 years ago
7
getHeadPredicate bug
#6
gisellemnr
opened
7 years ago
0
Instantiation of variable formulas
#5
gisellemnr
opened
8 years ago
1
Unify parsers
#4
gisellemnr
closed
7 years ago
2
TATU: download proofs
#3
gisellemnr
opened
9 years ago
2
Problem with #done
#2
gisellemnr
opened
9 years ago
0
improve help command
#1
gisellemnr
closed
8 years ago
1