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
644 ( #7,769 of 2,426,377 )

Recent downloads (6 months)
49 ( #15,781 of 2,426,377 )

How can I increase my downloads?

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