A Short and Easy Proof of Morley's Congruence Theorem.

Published in: Am. Math. Mon. (2020)

Keyphrases

interactive theorem proving
linear logic
theorem proving
intuitionistic logic
machine learning
socio technical
web services
preprocessing
relational databases
artificial neural networks
theorem prover
natural deduction
proof theory
proof search