issues
search
ysharoda
/
Deriving-Definitions
Generating Library definitions from Theory Expressions
5
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Build errors
#6
JasonGross
opened
3 years ago
1
Coq export
#5
JasonGross
opened
3 years ago
8
The J function
#4
ysharoda
opened
4 years ago
3
Hidden Binding
#3
ysharoda
opened
4 years ago
2
Trivial (Zero) element
#2
ysharoda
closed
3 years ago
8
Implementation of Substitution
#1
ysharoda
closed
4 years ago
1