Chaining Extensionality Lemmas in Lean's Mathlib.

Published in: CICM (2024)

Keyphrases

theorem prover
theorem proving
machine learning
search algorithm
lower bound
association rules
np hard
general purpose
knowledge acquisition
cellular automata
first order logic
automated theorem proving