Cover Image for System.Linq.Enumerable+EnumerablePartition`1[System.Char]

A Fully Automatic Theorem Prover with Human-Style Output.

M Ganesalingam, WT Gowers

OAI: oai:www.repository.cam.ac.uk:1810/256497 • DOI: 10.17863/CAM.444

Published by:

Abstract

ATP Automated theorem proving Human-like output Human-oriented Human-oriented theorem proving