Foreword to: Special Issue on Interactive Theorem Provers.

Alex Kontorovich

Published in: Exp. Math. (2022)

Keyphrases

special issue
theorem prover
computer algebra systems
automated reasoning
theorem proving
first order logic
inference rules
ai edam
automated theorem proving
automated deduction
computer algebra
international journal
ecml pkdd
higher order logic
applied intelligence
special section
formal semantics
proof search