Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub / courses-at-nju-by-hfwei / problem-solving-class-coq

Rock on Coq for the Problem Solving Class at Nanjing University

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/courses-at-nju-by-hfwei%2Fproblem-solving-class-coq

Stars: 6
Forks: 7
Open issues: 1

License: mit
Language: HTML
Size: 5.83 MB
Dependencies parsed at: Pending

Created at: over 5 years ago
Updated at: almost 2 years ago
Pushed at: over 5 years ago
Last synced at: 22 days ago

Topics: classes, coq, formal-methods, nanjing-university, problem-solving-class, proof-assistant, theorem-proving, tutorial

    Loading...