Name: Anonymous 2018-09-02 17:57
Post little thoughts, jokes, news, etc. that don't necessarily warrant having their own thread.
hypothetical stuff like dependent typesYou can install and use Coq right now though. Does not seem too hypothetical to me.