Binding of Endpoints to Identifiers by On-Chain Proofs.

Diego Pennino Maurizio Pizzonia Andrea Vitaletti Marco Zecchini

Published in: CoRR (2020)

Keyphrases

endpoints
minimal cost
theorem prover
theorem proving
formal proof
line segments
medial axis
minimal path
minimal paths
natural deduction
formal proofs
continuous functions
equational theories