130 citations · 228 across the 17 of their papers we have counts for
1 paper · 2 filters
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…