TituRel is a language developed in conjunction with the book Relational Mathematics by Gunther Schmidt from Universität der Bundeswehr München.

My problem is that I can't find any info related to downloading this software.

Do you know where the TituRel software can be downloaded from? The [home page][1] does not seem to show any download links.

Taken directly from the [home page][1]:
*TituRel is a software system to work with relations. It offers various tools written in the functional programming language Haskell allowing to*

 - *input/output relations from/to several forms of delivery*
 - *formulate relational terms to be applied to such relations in a newly developed multilevel relational reference language*
 - *analyze relations, decompose, permute, and partition them so as to obtain better information*
 - *support proofs of relation-algebraic theorems with transformation capabilities and TeX printing*
 - *switch between point-free form and component form with system support*
 - *generate programs for the RelView system*



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