Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aaron Stump
Versat: A Verified Modern SAT Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics
Directly Reflective Meta-Programming
Higher-Order and Symbolic Computation
Foundational Proof Checkers With Small Witnesses
