A constructive proof of dependent choice in classical arithmetic via memoization.

Étienne Miquey

Published in: CoRR (2019)

Keyphrases

theorem proving
theorem prover
floating point
linear logic
data sets
neural network
decision trees
data structure
video sequences