Top 5.7% on proxy.golang.org
proxy.golang.org : github.com/imdea-software/htt
Hoare Type Theory
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/imdea-software/htt
Keywords:
coq
, hoare-logic
, hoare-monads
, linked-list
, separation-logic
, type-system
License: Apache-2.0
Latest release: 4 months ago
First release: over 3 years ago
Stars: 75 on GitHub
Forks: 5 on GitHub
Total Commits: 173
Committers: 10
Average commits per author: 17.3
Development Distribution Score (DDS): 0.364
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago
Loading...
Readme
Loading...