Mereology

Archive of Formal Proofs (2021)
  Copy   BIBTEX

Abstract

The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.

Author's Profile

Ben Blumson
National University of Singapore

Analytics

Added to PP
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?