Simple Theorem Prover
mocenigo
mocenigo
Father, Composer, Mathematician, Cryptologist. Former architect at ARM. Designed QARMA. Chaotic good. Notorious craic killer.
Munich, Bavaria, Germany
Vladyslav
vlady5lav
Science & Tech Enthusiast
Hobbyist Developer & System Administrator Andromeda Galaxy, Local Group, Virgo Supercluster, Laniakea Supercluster
