Mereology
Archive of Formal Proofs (2021)
Abstract
The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.Author's Profile
Analytics
Added to PP
2021-03-15
Downloads
102 (#57,979)
6 months
21 (#49,633)
2021-03-15
Downloads
102 (#57,979)
6 months
21 (#49,633)
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?
