A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem.

Published in: CoRR (2021)

Keyphrases

interactive theorem proving
batch processing
machine learning
artificial intelligence
theorem proving
von neumann
linear logic
learning algorithm
clustering algorithm
search algorithm
multi agent systems
artificial neural networks
inference rules
cell formation