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

README.md

Kind2's Formal Verification!

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