Hacker News Reader

Nice project!

I wonder how does this compare to the GitHub + package manager combo. Using these tools, platforms like Ruby or Node.js became massively collaborative. To me proof development is similar to software development, so it should work as well. By the way, Coq will soon get a package manager based on OPAM: http://coq.inria.fr/cocorico/CoqDevelopment/CRGTCoq20131126?...

View on HN

While proof development shares A LOT of traits with software development, it is not the same. For example, proof development also shares A LOT of traits with writing an academic paper. I think Github + package manager is definitely the baseline to beat, but I believe something much better is possible when focusing on the particular case of a collaborative theorem proving system. It might even turn out that this particular case is not that particular at all. :-)

Reply on news.ycombinator.com