2 papers
cs.DL2012
ProofFlow: Flow Diagrams for Proofs
Steven A. Kieffer
We present a light formalism for proofs that encodes their inferential structure, along with a system that transforms these representations into flow-chart diagrams. Such diagrams…
cs.LO2008
A language for mathematical knowledge management
Steven Kieffer, Jeremy Avigad, Harvey Friedman
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathema…