Open source bundle for theorem-trails