TML15: Discover the Power of TML: An Execution Engine for The Tau Language with Proof of Execution

Basically, there are no other languages than the once you've mentioned. TML is used for the Internet of Languages, for being a Compiler-Compiler to support other languages. But beyond that, it is a very powerful Execution Engine and it will also be an Execution Engine for The Tau Language and The Proof of Execution will be implemented over TML, so the Tau Language will enjoy Proof of Execution because it will ride on TML as an Execution Engine. By The Tau Language for itself is divided into two parts that ride on each other in a very sophisticated way but they can still be separated and seen as two languages. One part is the Knowledge Representation Part The Description Logic the other part is the Temporal Part which is The Software Specification Language. So yes, you can divide TML into two from Theoretical Perspective is coming down to what is called The Atomic Boolean Algebra and Atomless Boolean Algebra and they ride on each other in a highly non-trivial way.
- Ohad Asor, Founder and CTO of Tau https://tau.net/our-team/

🎥 https://www.youtube.com/watch?v=k2xFQDKdUrQ&list=PLeBSjZu0y6vXYCHH38ToqlVoyOd1qeS5f&index=15 👈

🧀Test Tau Meta Language.
🔗 tml.tau.net
📄Abstract: Draft for Community Review
🔗https://lnkd.in/gWJZj9sN
😼Published Codes
🔗 github.com/IDNI/TML
🌐Website of Tau
🔗 tau.net/
👨‍🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
✈️Telegram community
🔗t.me/tauchain