Tau

@tau

Correct by construction software development tool utilizing novel and advanced executable formal specification.

Author profile picture

The beautiful humans of HackerNoon are eagerly awaiting @tau’s next masterpiece. Stay tuned for reading stats.

Loading tau's Stories!!

Join HackerNoonloading
|

Categories

Trending Topics

blockchaincryptocurrencyhackernoon-top-storyprogrammingsoftware-developmenttechnologystartuphackernoon-booksBitcoinbooks