Mereology
Archive of Formal Proofs (2021)
Abstract
The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.
Keywords
No keywords specified (fix it)
Categories
PhilPapers/Archive ID
BLUM-2
Upload history
Archival date: 2021-03-15
View other versions
View other versions
Added to PP index
2021-03-15
Total views
51 ( #54,244 of 2,446,617 )
Recent downloads (6 months)
26 ( #26,093 of 2,446,617 )
2021-03-15
Total views
51 ( #54,244 of 2,446,617 )
Recent downloads (6 months)
26 ( #26,093 of 2,446,617 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
