facebook
Tau Products

Tau products improve your team’s software development experience.

Easily automate your software development process, and create high-quality applications that exceed industry standards.

Tau

Development tool for fully-correct program synthesis, collaborative software specification and mechanized reasoning.

Tau Language

Language for software specification with quantification over sentences, a temporal dimension and description logics.

Parser

Industry-level parser capable of taking any context-free grammar and an input string, and returning the full parse forest.