Formalising mathematics in UTT : fundamentals and case studies / G. Barthe
mainEntity
Formalising mathematics in UTT : fundamentals and case studies / G. Barthe
about
author
inLanguage
mainEntityOfPage
name
Formalising mathematics in UTT : fundamentals and case studies
numberOfPages
publication
sameAs
label
Formalising mathematics in UTT : fundamentals and case studies / G. Barthe