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

There are no packages yet.

For more information on the package registry, see the documentation.