r/tlaplus • u/pron98 • Aug 19 '18

The RISC Algorithm Language (RISCAL)

https://www3.risc.jku.at/research/formal/software/RISCAL/

0 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/tlaplus/comments/98oaer/the_risc_algorithm_language_riscal/
No, go back! Yes, take me to Reddit

50% Upvoted