Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitLab.com / Spence / 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 model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitLab.com/repositories/Spence%2Fivy
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language:
Dependencies:
28
Created: over 5 years ago
Updated: over 5 years ago
Last synced: over 1 year ago
Files
Dependencies
- VSSDK.ComponentModelHost 11.0.4 development
- VSSDK.ComponentModelHost.11 11.0.3 development
- VSSDK.CoreUtility 11.0.4 development
- VSSDK.CoreUtility.11 11.0.4 development
- VSSDK.Editor 11.0.4 development
- VSSDK.IDE 7.0.4 development
- VSSDK.IDE.11 11.0.4 development
- VSSDK.Language 11.0.4 development
- VSSDK.Language.11 11.0.4 development
- VSSDK.Shell.11 11.0.4 development
- VSSDK.Text 11.0.4 development
- VSSDK.Text.11 11.0.4 development
- VSSDK.DTE 7.0.4
- VSSDK.IDE.10 10.0.4
- VSSDK.IDE.8 8.0.4
- VSSDK.IDE.9 9.0.4
- VSSDK.OLE.Interop 7.0.4
- VSSDK.Shell.Immutable.10 10.0.4
- VSSDK.Shell.Immutable.11 11.0.4
- VSSDK.Shell.Interop 7.0.4
- VSSDK.Shell.Interop.10 10.0.4
- VSSDK.Shell.Interop.11 11.0.4
- VSSDK.Shell.Interop.8 8.0.4
- VSSDK.Shell.Interop.9 9.0.4
- VSSDK.TextManager.Interop 7.0.4
- VSSDK.TextManager.Interop.8 8.0.4