ah yes, artifact review time, that time when I'll have to install four different versions of coq
do you think the version of coq a proof is written in is a good proxy for when the authors started writing the proof, or just a proxy for when they last bothered updating it?
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!
do you think the version of coq a proof is written in is a good proxy for when the authors started writing the proof, or just a proxy for when they last bothered updating it?