Browsing by Subject "Mathematical Sciences::Mathematics"
Now showing items 1-1 of 1
-
Bootstrapping extensionality: Agda formalization
(The University of Nottingham, 2023-03-27)Agda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality".