Characteristics of de Bruijn's early proof checker Automath.

Herman Geuvers Rob Nederpelt

Published in: CoRR (2022)

Keyphrases

learning algorithm
machine learning
information retrieval
computer vision
decision trees
multiscale
evolutionary algorithm
theorem prover
complete axiomatization