Giters
ayberkt
/
formal-topology-in-UF
Formal Topology in Univalent Foundations (WIP).
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
35
Watchers:
5
Issues:
6
Forks:
2
ayberkt/formal-topology-in-UF Issues
Prove that the Sierpiński frame construction is correct
Closed
4 years ago
Replace the propositional truncation defined in `Basis` with the one from `cubical`
Updated
4 years ago
Prove Exercise II.1.5 from Stone Spaces
Updated
4 years ago
Prove Exercise I.2.2 from Stone Spaces
Updated
4 years ago
Remove all dependencies to the standard library
Closed
4 years ago
Set up continuous deployment of Agda HTML to GitHub Pages
Closed
4 years ago