Do you know where the Titurel software can be downloaded from? It's a language developed for the Relational Mathematics book. The [home page][1] does not seem to show any download links.


  [1]: https://titurel.org/TituRel/indexTituRel.html "Home Page"