adding back logo

IDNI · Jan 18, 2024 · d418749 · d418749
1 parent 7052a76
commit d418749
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+![The TAU logo](/docs/tau_logo.svg)
+
 Tau advances formal methods by removing coding from the process, while expanding its industrial capability, reliability and ease of maintenance. Tau enables you to automatically create the most complex, provably correct software, by simply writing sentences about what you want the software to do.
 
 Tau Language is able to embed and extend the most powerful decidable knowledge representation languages, logics, and Boolean algebras to describe states in the specification. Tau Language is able to embed and extend the most powerful decidable knowledge representation languages and logics to describe states in the Tau specification.

diff --git a/docs/tau_logo.svg b/docs/tau_logo.svg