Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / cister-labs / fvoca2223
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cister-labs%2Ffvoca2223
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: HTML
Repo Size: 2.11 MB
Dependencies:
0
Created: over 1 year ago
Updated: 10 months ago
Last pushed: over 1 year ago
Last synced: 10 months ago
Topics: formal-languages, formal-logic, formal-methods, formal-semantics, formal-specification, hoare-logic, sat, smt
Files
No dependencies found