Hacker News Reader

Is it supposed to take so long to load coq base (~ 5min)?

All I did was Require Import List Omega. and I am now stuck in package loading.

EDIT: From Coq Require Import List Omega. works. Database for hints not loaded? Can't seem to get eauto to work

It all seems very fast for me. I also see no problems with hint databases... maybe check the JS console for errors?

Side effect of living in Australia when every neighbour is netflixing. I discovered my network was dropping out very frequently.