You can download this list as a single bib file. Send me an email if you need a paper that is not listed.
Publications
-
-
Gale-Stewart Games
-
Student-Made Online Discrete Math Drills: Lightning Talk
-
Improving Performance of the VerCors Program Verifier
-
Formal verification of parallel prefix sum
-
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm
-
A verified implementation of algebraic numbers in Isabelle/HOL
-
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
-
Automated verification of parallel nested DFS
-
Universal Turing Machine