Contact us - Tau

Products
- 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.
Research
- Breakthroughs
  
  Latest advancements on Tau’s logical artificial intelligence, engineering, user experience mechanics and UI layers.
- Blog
  
  Articles and project updates curated by the Tau team.
- Papers
  
  Official papers on Tau products and their associated mathematical theories.
Vision
Team
Forum
Socials

See what Tau can do for you

Join us

Developers

Resources

Contact us

Terms And Conditions

Copyright © 2025 – IDNI. All rights reserved.