Login / Signup
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math.
David G. Wonnacott
Peter-Michael Osera
Published in:
CoRR (2019)
Keyphrases
</>
theorem proving
computer science
theorem prover
automated theorem provers
automated theorem proving
source code
inference rules
formal model
proof search
introductory computer science
formal methods
computer algebra
first order logic
computer programs
programming course