Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jens-classen / vergo
Vergo: A Verification System for GOLOG Programs
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jens-classen%2Fvergo
Stars: 4
Forks: 1
Open Issues: 0
License: gpl-2.0
Language: Prolog
Repo Size: 1.14 MB
Dependencies: pending
Created: over 4 years ago
Updated: 19 days ago
Last pushed: 19 days ago
Last synced: 19 days ago
Topics: golog, model-checking, situation-calculus, verification
Files
Loading...
Readme
Loading...