AI ⇌ Formal Verification @harmonic-ai || Formalising Mathematics and Software in @leanprover || Developing FOSS in @leanprover, @JuliaLang and @python.
-
Harmonic
- Italy, United Kingdom, United States
- @PietroMonticone
- @PietroMonticone
- @pietromonticone.bsky.social
Highlights
- Pro







