A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
Why do you think that https://github.com/newca12/awesome-rust-formalized-reasoning 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/newca12/awesome-rust-formalized-reasoning is a good alternative to Kind