| Views | |
|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 1616 |
| October 2024 | November 2024 | December 2024 | January 2025 | February 2025 | March 2025 | April 2025 | |
|---|---|---|---|---|---|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 50 | 44 | 59 | 62 | 42 | 52 | 244 |
| Views | |
|---|---|
| dissertation_kirchner.pdf | 711 |
| dissertation.pdf | 3 |
| ThesisFinal.pdf | 1 |
