Jure Taslak -

Registered user since Tue 24 May 2022

Name:Jure Taslak

Country:Slovenia

Affiliation:University of Ljubljana

Personal website: https://www.fmf.uni-lj.si/sl/imenik/1331/taslak-jure/

GitHub: https://github.com/cilinder

Research interests:Type theory, proof assistants, formalization, category theory

Contributions

2022

ICFP