search

uwplse / PUMPKIN-PATCH

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
MIT License
51 stars 2 forks source link

Website #3

Closed nateyazdani closed 6 years ago

nateyazdani commented 6 years ago

Should be self-explanatory.

tlringer commented 6 years ago

I love that you've made this website, but I don't think it belongs in this repository. Can this go elsewhere? In general, I think it's a good idea to keep code for separate purposes in separate places. For example, if someone wants to modify our code or use it for another research project, I don't want them to also pull the website code.

Also, sorry for being slow; busy week!

tlringer commented 6 years ago

This appears to have been pushed elsewhere since the website is up and running!

nateyazdani commented 6 years ago

Whoops, sorry, I forgot to close this out :-)