Isabelle
Users following isabelle-platform
Maxim Menshikov
maximmenshikov
Reinventing how software is built.
CEO @interpretica-io
#rust #cpp
@interpretica-io Porto, Portugal
{{ message }}