🛠 February's Dev Video is up! 🎥 https://youtu.be/FfSMy0kSjzY👈 🔹 Ohad continues his work on the code of the Tau language and its patent. 🔹 David has been working on optimizing procedures for TML release tasks and managed to merge three steps into one, significantly reducing time complexity. He is currently testing and debugging the code. 🔹Lucca first implemented options for the BDD library to toggle variable shifters, input inverters, and output inverters. They also added caches to improve computation time. Secondly, they developed a solution to preserve canonicity during the negation of pure 2CNF formula for 2CNF formulas not attached to a BDD and started implementing it. 🔹 Tomáš is still working on the Earley parser for TML and is nearly finished replacing the old parser with the new one. He has also been working on TML's transform grammar and fixing bugs related to conjunction and negation. 🔹 Umar has improved the parse trees by simplifying and making them more intuitive with added functionality. He replaced some nodes with their children and created a CSV parser to demonstrate how to remove temporary nodes created during recursion and make the tree more intuitive. 🔹 Andrei has been working on the Tau live platform. He resolved an issue with cards not displaying correctly on all platforms and improved the search function with more filters and category search features. Additionally, he assisted with updating the website tau.net