Correct by construction software development tool utilizing novel and advanced executable formal specification.
The beautiful humans of HackerNoon are eagerly awaiting @tau’s next masterpiece. Stay tuned for reading stats.
