🛠 May's Development Video is here! 🎥 https://youtu.be/ht2HGwK13ys 👈 🔹 Ohad continues to work on the patents to satisfy the requirements set by the patent lawyers. He's collaborating with Professor Parys on developing the Knowledge Representation Language. Regrettably, powerful enough knowledge representation languages have not been effectively implemented over the past decade, leading to a necessity to delve into this area. Fortunately, they already have a strong foundation, as a significant portion of the existing work can be converted into the Tau language. Consequently, efforts are ongoing to accomplish this transformation. 🔹 Andrei has been working on the Tau chain Testnet, identifying integration points with TML and refining the Tau Live application by improving the scheduling system and search operations. 🔹 Tomáš is integrating the new parser into the TML library, fixing bugs and refactoring the code. He has also started working on user-level documentation for the Tau parser library. 🔹 Luca is finalizing the implementation of the 2CNF extraction from BDDs and is incorporating suggestions for improvement. He is also documenting the algorithm and its implementation. 🔹 David has been working on the Earley parser, suggesting improvements to the graph representation that Umar implemented. He is also developing the Tau rewriting system and working on testing and writing the Tau grammar. 🔹 Umar has focused on improving the core functionality of the Earley parser, particularly enhancing the garbage collection process and implementing suggestions from David and Tomáš.