This paper describes a new open-source proof processing tool, mizar-rs, ...
We introduce FRAT, a new proof format for unsatisfiable SAT problems, an...
As the usage of theorem prover technology expands, so too does the relia...
We present a simple framework for specifying and proving facts about the...
We present a formalization of the foundations of computability theory in...