Post Reply 
 
Thread Rating:
  • 0 Votes - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Ganesalingam: A Fully Automatic Theorem Prover with Human-Style Output. JAR17
06-06-2018, 05:12 PM
Post: #1
Ganesalingam: A Fully Automatic Theorem Prover with Human-Style Output. JAR17
M. Ganesalingam, W. T. Gowers. A Fully Automatic Theorem Prover with Human-Style Output. JAR, 2017.


Attached File(s)
.pdf  State_of_the_art.pdf (Size: 570.78 KB / Downloads: 0)
Find all posts by this user
Quote this message in a reply
Post Reply 


Forum Jump: