2024 Operating systems & Embedded

Equestrian management platform

Management platform for the sport club based on Isabelle. This is a side project designed to simplify my own life.