Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Li-yao Xia
coq-planet

coq-planet

Project information

A link aggregator, written in OCaml

Planet Coq: https://coq.pl-a.net

Haskell Planetarium: https://haskell.pl-a.net

programming ... community social media

167 Commits
1 Branch
0 Tags

README
MIT License

Created on

July 17, 2020

Copy SSH clone URLgit@gitlab.com:lysxia/coq-planet.git
Copy HTTPS clone URLhttps://gitlab.com/lysxia/coq-planet.git