Shapes Demo: From Logical Specifications to Executable Software
3:24
Zero Coding with Tau: Specifying Correct Software with Logical AI #noneedcode
46:19
The Barber Paradox : Tau Language Demo
12:26
1.3 Logical Connectives AND and OR and its possible real life applications
31:57
1.4 Logical Connectives Complementation and Exclusive OR and its possible real life applications
24:12
Basic Tutorial Series - Tau Lang REPL : Basic Logical Connectives AND, OR, and NOT
2:11
Good/Bad splitters and Strong Normalization
0:32
Will scaling discussions be part of the Fully User Controlled Blockchain demo?
0:27