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