- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Isabelle for Philosophers
Abstract
This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.Author's Profile
Ben Blumson
National University of Singapore
Analytics
Added to PP
2019-09-20
Downloads
1,327 (#14,950)
6 months
190 (#21,477)
2019-09-20
Downloads
1,327 (#14,950)
6 months
190 (#21,477)
Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?
