QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge.

Michael Kohlhase Florian Rabe

Published in: J. Formaliz. Reason. (2016)

Keyphrases

mathematical knowledge
theorem prover
computer software
theorem proving
formal model
asymptotically optimal
high level
general purpose
square root