https://matthesjh.github.io/ [email protected]
Cap3 GmbH (@cap3) Kiel, Germany Frontend/Mobile developer. Computer Science at Kiel University. Germany Scholarship holder. Interested in Swift, functional programming and web technologies.
Jan-Hendrik Matthes
Formalization of Typed Assembly Language (TAL) in Coq
matthesjh