De Vlaamse Scriptiebank is een vrij toegankelijke online databank. Deze bevat alle artikels en full text scripties van deelnemende bachelors en masters aan de
Het univalentie axioma helpt bij de formalisatie en automatisatie van wiskundig redeneren. Dit wordt geïllustreerd met een voorbeeld over decimale en binaire getallen.
