conf.researchr.org / Marko Dimjašević
Registered user since Mon 25 Jan 2016
Name:Marko Dimjašević
Affiliation:N/A
Personal website: https://dimjasevic.net/marko/
Research interests:theorem proving, software correctness, functional programming and type theory
Contributions