Alperen Keles
posts
resume
research
projects
talks
misc
Entries tagged :: formal verification
.
2023-04-21
Learner’s Guide to Coq Theorem Prover#1
en
[software engineering, algorithms, formal verification]
