The Tau development update for September (Episode 34) is out now. Watch it here:. Highlights include:.

12 Oct 2021, 09:42
The Tau development update for September (Episode 34) is out now! Watch it here: 🎥 Highlights include: 🔹Team member introduction: Dr. Cramer (https://iccl.inf.tu-dresden.de/web/Marcos_Cramer/en) 🔹Final testing of Agoras Live before release 🔹Benchmarking of TML 1.0 features before release 🔹Proof extraction optimization and testing 🔹Implementation of variable shifters in TML