Ansgar Esztermann aeszter

0 Followers · 0 Following

• Göttingen

• Physicist turned sysadmin, father, orienteer, Go player.

  Formal verification with SPARK.

  Halber Ostfriese, aufgewachsen im Rheinland, wohnt jetzt ganz im Süden vom Norden.

• Joined on 2025-12-16

Repositories Projects Packages Public Activity Starred Repositories