Media And Press Centre
Spotlight
Highlighting our most recent significant stories.
Work-in-progress draft version 0.29.
Tau Language is a logical AI language enabling Software & AI specification with advanced AI capabilities.
The Tau language is a language extension of other classical logics (the “base logics”) intended to be a logic whose formulas denote software specifications.
This patent is about a specification language with unique properties of high expressiveness while retaining decidability, software synthesis and referring to its own sentences.
Work-in-progress draft version 0.29.
Tau Language is a logical AI language enabling Software & AI specification with advanced AI capabilities.
Tau Language is a logical AI language enabling Software & AI specification with advanced AI capabilities.
The Tau language is a language extension of other classical logics (the “base logics”) intended to be a logic whose formulas denote software specifications.
Work-in-progress draft version 0.29.
Work-in-progress draft version 0.25.
Work-in-progress draft version 0.1.
Work-in-progress draft version 0.29.
Work-in-progress draft version 0.25.
Work-in-progress draft version 0.1.