Skip to content
GitLab
Explore
Sign in
Register
Nicola Botta
papers
Repository
papers
2020.Extensional equality preservatio...
Conclusions.lidr
Find file
Blame
History
Permalink
Sync with unshared/manuscripts/2020.exteqaxiom.
· ffaa852e
Nicola Botta
authored
Mar 06, 2021
ffaa852e