Coq Pipes
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Coq Pipes | 103 | 6 years ago | 1 | Coq | ||||||
| Selective Theory Coq | 13 | 4 years ago | Coq | |||||||
| Selective applicative functors laws and theorems | ||||||||||
| Lensstateisyourfather | 10 | 6 years ago | apache-2.0 | Coq | ||||||
| Lens, State is your father... and I can prove It! | ||||||||||
Alternatives To Coq PipesSelect To Compare
Alternative Project Comparisons
Popular Law Projects
Popular Coq Projects
Popular Legal Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Law
Coq