Dear all,

I am having a weird message persistently while loading the multivariate
realanalysis theory in HOL-Light.

*Segmentation fault (core dumped)*
This message appear after loading some of the theorems. I guess that this
error may be due to my recent update of HOL-Light sources from the github
repositories. Is there any way around?

I have another query. Can anybody know the way to reduce the loading time
of HOL-Light theories?

Thanks and best regards.

Adnan Rashid
PhD Candidate
Islamabad, Pakistan
hol-info mailing list

Reply via email to