Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: co-generation

au-ts/cogent

Cogent Project

Language: Isabelle - Size: 17.2 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 163 - Forks: 27

Related Keywords
co-generation 1 file-systems 1 isabelle-hol 1 programming-languages 1 verification 1