4 ms·

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 Requi

by chewxy 7y ago

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

jmgrosen 7y ago
It all seems very fast for me. I also see no problems with hint databases... maybe check the JS console for errors?
- chewxy 7y ago
  Side effect of living in Australia when every neighbour is netflixing. I discovered my network was dropping out very frequently.