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 NUST-SEECS Islamabad, Pakistan
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info