Jan-Hendrik Matthes

icon indicating a website link https://matthesjh.github.io/ icon indicating an email [email protected]

icon company Cap3 GmbH (@cap3) icon location Kiel, Germany icon location Frontend/Mobile developer. Computer Science at Kiel University. Germany Scholarship holder. Interested in Swift, functional programming and web technologies.

Results 1 repositories owned by Jan-Hendrik Matthes

coq-tal

17
Stars
1
Forks
Watchers

Formalization of Typed Assembly Language (TAL) in Coq

verified publisher icon matthesjh