anonymous
This sounds very exciting! At this point, could you give an example of how one would type a search query for a theorem? Would it involve learning the syntax of one of the prover softwares you linked to?
posted by <hidden> • 6 years and 6 months ago Link