PrototypeCommon
microsoft/ivy
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. In particular, IVy provides interactive visualization of automated proofs, and supports a use mod…
Archived: this repository is read-only
- Owner
- microsoft (organization)
- Stars
- Stars: 240
- Forks
- Forks: 89
- Language
- C++
- License
- None
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by microsoft
All 1,923 repos by microsoft- microsoft/vscodeStars: 194,462TypeScriptLTS
- microsoft/markitdownStars: 193,456PythonLTS
- microsoft/PowerToysStars: 140,398CLTS
- microsoft/generative-ai-for-beginnersStars: 122,788Jupyter NotebookLTS
- microsoft/TypeScriptStars: 111,714GoLTS
- microsoft/terminalStars: 105,311C++LTS
Nearby in C++
All C++ repos- ScaleX-IO/uGDSStars: 240C++Prototype
- tgo-app-dev/vpipeStars: 240C++Prototype
- thisisgm/omarchy-podsStars: 240C++Prototype
- tapio/rlutilStars: 240C++Prototype
- robbeofficial/KinectTouchStars: 240C++Prototype
- junkumar/redbaseStars: 240C++Prototype