Views | |
---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 866 |
November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | |
---|---|---|---|---|---|---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 25 | 185 | 38 | 37 | 24 | 41 | 25 |
Views | |
---|---|
dissertation_kirchner.pdf | 573 |
dissertation.pdf | 3 |
ThesisFinal.pdf | 1 |