issues
search
barry-jay-personal
/
tree-calculus
Proofs in Coq for the book Reflective Programs in Tree Calculus
MIT License
51
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
2 Bugs in definitions of Z{f} and swap {f} in the PDF
#7
RonaldMonson
opened
8 months ago
5
Some bugs in the PDF
#6
olydis
opened
11 months ago
2
Opam package broken
#5
LasseBlaauwbroek
opened
1 year ago
1
A Beautiful and Elegant Calculus
#4
zpyatt
closed
2 years ago
3
pdfs
#3
stackdump
closed
3 years ago
0
Dual licensed?
#2
palmskog
closed
3 years ago
3
remove generated files, use simple delegating makefile and coq_makefile
#1
palmskog
closed
3 years ago
3