Guest Column: Algebraic Natural Proofs Ben Lee Volk.

Published in: SIGACT News (2021)

Keyphrases

real world
databases
virtual machine
decision trees
image sequences
learning environment
higher order
theorem proving
man made
natural deduction
formal proofs
equational theories