Formal verification needs to become popularized.

I want to see a future where I can truly compose and pull in functions and data structures from a global repository which is automatically verified by software.

It may not be this century, but in a few hundred years, I bet my money on a standardized formal verification programming language which everyone will use to discuss Mathematics, Physics, Biology, Software, Hardware, and many other fields.

· · Web · 0 · 0 · 0
Sign in to participate in the conversation

This is a brand new server run by the main developers of the project as a spin-off of 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!