Explore projects

testing accessibility

This is the Lean project contained in my master's thesis `Computability and L^2-Betti numbers' For installation guidelines, see installation-guidelines.txt

Seite, welche mit Hilfe des CMS docsify aufgebaut wurde.

NDSSEARCH reads .csv files with email addresses from the University of Regensbur (like in a .csv file exported from FlexNow) and retrieves corresponding NDS accounts from the university's LDAP server.