The Tau development update for July is out now. Highlights include:. Agoras Live demo & completed payment system redesign.
04 Aug 2021, 11:49
The Tau development update for July is out now!
Highlights include:
🔹Agoras Live demo & completed payment system redesign
🔹TML Performance improvements
🔹Syntax highlighting implementation
🔹Continued work on 2cnf extraction