PrototypeCommune
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…
Archivé : ce dépôt n’évolue plus
- Propriétaire
- microsoft (organisation)
- Étoiles
- Étoiles : 240
- Forks
- Forks : 89
- Langage
- C++
- Licence
- Aucune
- Création
- 2015
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de microsoft
Les 1 923 dépôts de microsoft- microsoft/vscodeÉtoiles : 194 462TypeScriptLTS
- microsoft/markitdownÉtoiles : 193 456PythonLTS
- microsoft/PowerToysÉtoiles : 140 398CLTS
- microsoft/generative-ai-for-beginnersÉtoiles : 122 788Jupyter NotebookLTS
- microsoft/TypeScriptÉtoiles : 111 714GoLTS
- microsoft/terminalÉtoiles : 105 311C++LTS
D’autres dépôts C++
Tous les dépôts C++- ScaleX-IO/uGDSÉtoiles : 240C++Prototype
- tgo-app-dev/vpipeÉtoiles : 240C++Prototype
- thisisgm/omarchy-podsÉtoiles : 240C++Prototype
- tapio/rlutilÉtoiles : 240C++Prototype
- robbeofficial/KinectTouchÉtoiles : 240C++Prototype
- junkumar/redbaseÉtoiles : 240C++Prototype