From ed0a3044fbb12a07eef3a222744b43a678bbe68b Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Thu, 10 Jul 2025 12:34:50 -0600 Subject: [PATCH] Fix #13 --- tools/mc/ivy.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tools/mc/ivy.md diff --git a/tools/mc/ivy.md b/tools/mc/ivy.md new file mode 100644 index 0000000..7f2445d --- /dev/null +++ b/tools/mc/ivy.md @@ -0,0 +1,22 @@ ++++ +date = 2025-07-10 +draft = false +title = 'IVy' +subtitle = 'Protocol Verifier' +links = [ + { title = "Homepage", url = "https://kenmcmil.github.io/ivy/", icon = 'fa-solid fa-home' }, + { title = "Source Code", url = "https://github.com/kenmcmil/ivy", icon = 'fa-brands fa-github' }, + # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' } +] +applications = ['Protocol Verifier'] +developers = ['Microsoft Research'] +licenses = ['MIT'] +# inputs = ['Sally'] +# interfaces = ['CLI'] +maintenance = ['Not Maintained'] +# techniques = ['CDCL'] +# publications = [''] ++++ + +{{}} +IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. \ No newline at end of file