Login / Signup
A machine-checked direct proof of the Steiner-lehmus theorem.
Ariel Kellison
Published in:
CPP (2022)
Keyphrases
</>
interactive theorem proving
linear logic
batch processing
theorem prover
theorem proving
real time
intuitionistic logic
neural network
data mining
data structure
knowledge representation
flowshop
learning machines