Isabelle for Philosophers

Download Edit this record How to cite View on PhilPapers
Abstract
This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.
PhilPapers/Archive ID
BLUIFP
Upload history
Archival date: 2019-09-20
View other versions
Added to PP index
2019-09-20

Total views
552 ( #7,276 of 51,218 )

Recent downloads (6 months)
168 ( #2,424 of 51,218 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.