130 citations · 228 across the 17 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.LO2012
Escape to Mizar for ATPs
Jesse Alama
We announce a tool for mapping derivations of the E theorem prover to Mizar proofs. Our mapping complements earlier work that generates problems for automated theorem provers from…
cs.PL2012★ 2 cited
New developments in parsing Mizar
Czeslaw Bylinski, Jesse Alama
The Mizar language aims to capture mathematical vernacular by providing a rich language for mathematics. From the perspective of a user, the richness of the language is welcome bec…
math.LO2012★ 4 cited
Tipi: A TPTP-based theory development environment emphasizing proof analysis
Jesse Alama
In some theory development tasks, a problem is satisfactorily solved once it is shown that a theorem (conjecture) is derivable from the background theory (premises). Depending on o…