You are viewing a single comment's thread from:
RE: I'm an Independent, Strong, Crypto-Dev who don't need no Security Audit!
You don't understand what you're talking about. Formal language is a language which has a grammar. Pretty much any programming language is a formal language.
You probably meant formally-verifiable language. There are many ways to approach formal verification, none of them is general purpose. So it's still a question what kind of formal verification is needed for smart contracts.
Contract languages are still a research subject. Again, they are still not general enough.
Tbh I was sort of trolling, just skim read a reddit post on formal verification and jumped on the fud train