Users following isabelle-platform
Maxim Menshikov
maximmenshikov
Cybersecurity & static analysis researcher.
Founder @interpretica-io.
Building tools for safer software.
#rust #cpp #security
@interpretica-io Porto, Portugal