Giters
andrejbauer
/
notes-on-realizability
Lecture notes on realizability
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
65
Watchers:
5
Issues:
4
Forks:
4
andrejbauer/notes-on-realizability Issues
Question about preorder enrichment
Closed
a year ago
Wrong variable seems to be used in Theorem 2.1.4
Closed
2 years ago