HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-07-07 10:06:36 +03:00
Code Issues Packages Projects Releases Wiki Activity
master
Kind/formal/README.md
Victor Taelin 057c8d51de fix equalSimilar not following described algo
2024-03-14 10:31:04 -03:00

122 B
Raw Permalink Blame History

Kind2's Formal Verification!

Here, we verify the soundness and consistency of Kind2's Core.