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
262 (#61,418)

6 months
81 (#57,704)

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?