[Hol-info] LFMTP2020 Call for Participation

= CALL FOR PARTICIPATION Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2020 On-line conference, ==> 29-30 June 2020 <== Affiliated with FSCD 2020 and IJCAR 2020

[Hol-info] Installation Problem of HOL-Light

Dear all, I'm trying to install HOL-Light on Ubuntu 14.04 and following the instruction on Github website. When I do #use "hol.ml" on ocaml interface, I'm facing the following errors: File "/home/elif/hol-light/impconv.ml" , line 315, characters 8-174: Warning 8: this pattern-matching is not exha