Formalizing Pick's Theorem in Isabelle/HOL.

Sage Binder Katherine Kosaian

Published in: CoRR (2024)

Keyphrases

theorem prover
natural deduction
intuitionistic logic
inference rules
higher order logic
theorem proving
first order logic
von neumann
database
neural network
sequent calculus
cut elimination
clustering algorithm
high level
reinforcement learning
decision making
databases