GitHub / FedericoBruzzone / software-foundations
Solutions (in Coq) of the exercises in the software foundation books.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FedericoBruzzone%2Fsoftware-foundations
PURL: pkg:github/FedericoBruzzone/software-foundations
Stars: 1
Forks: 0
Open issues: 0
License: gpl-3.0
Language: HTML
Size: 8.59 MB
Dependencies parsed at: Pending
Created at: almost 2 years ago
Updated at: 12 months ago
Pushed at: 12 months ago
Last synced at: 14 days ago
Commit Stats
Commits: 58
Authors: 2
Mean commits per author: 29.0
Development Distribution Score: 0.017
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/FedericoBruzzone/software-foundations
Topics: coq, coq-library, functional-programming, ocaml, software-foundations