Post
Topic
Board Announcements (Altcoins)
Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network
by
m4nki
on 08/09/2021, 17:47:04 UTC

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