Robuta

https://risc.jku.at/sw/riscal/
The RISC Algorithm Language (RISCAL) is a specification language and associated software system for describing mathematical algorithms, formally specifying...
johannes kepler universityrisc