Maxim Menshikov

Static analysis reseacher and startup founder


Equestrian management platform Networking

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

Date: 2024

Languages: Rust

CPU: X86_64, ARM

Platforms: Linux