Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network

Tau development update - August 2021

---> To the update (August 2021) <---

Highlights Include:
- TML IDE improvements
- Type system improvements
- Proof extraction implementation finished
- Fixing and testing of the Agoras Live review system
- Second order logic implementation close to be finished