I am Leonhard Staut and I have done my Bachelor's thesis about the formalization of nu-trees at the Programming Systems Lab.
