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
213 (#63,050)

6 months
59 (#63,526)

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?