# Jure Taslak: Domain-specific type theory for finite mathematics (thesis proposal)

Date of publication: 25. 5. 2023

Mathematics and theoretical computing seminar

Friday

26

May

Time:

14:00 - 15:00

Location:

Jadranska 21, 3.07

Thesis proposal.