Formalizing line editors in Coq.

Boro Sitnikovski

Published in: CoRR (2020)

Keyphrases

special issue
theorem prover
databases
lower bound
line segments
formal methods
database
machine learning
artificial intelligence
reinforcement learning
preprocessing