TheoDef (szabad tartalmú, nyílt forráskódú matematikai könyvtár, a forráskód a GitHubon érhető el itt, lekérhető így a gh repo clone HariZalan/TheoDef paranccsal Linux alatt, ha telepítve van a GitHub-kliens, és nem jelentkeznek technikai problémák1)