This website requires JavaScript.
Explore
Help
Sign In
senvas
/
ladder-calculus
Watch
1
Star
0
Fork
You've already forked ladder-calculus
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
No description
19
commits
2
branches
0
tags
232
KiB
TeX
67.3%
Coq
32.7%
master
Find a file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Cite this repository
BibTeX
Cancel
Michael Sippel
8da65e4d38
coercion semantics
2024-08-08 13:20:18 +02:00
coq
paper: add appendix with coq listings
2024-08-07 15:59:03 +02:00
paper
coercion semantics
2024-08-08 13:20:18 +02:00
.gitignore
setup coq project & initial definition of terms (types & expressions)
2024-07-24 11:22:25 +02:00