A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
Why do you think that https://github.com/tlaplus/tlaplus is a good alternative to Kind
A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
Why do you think that https://github.com/tlaplus/tlaplus is a good alternative to Kind