[Hol-info] Element assignment in structures

2018-12-18 Thread ????????
Thank you for your answer. I made the following attempt in HOL4. open realLib; val _ = Datatype ` coordinate = <| x_axis: real; y_axis: real;

[Hol-info] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED **

2018-12-18 Thread Gregory Gelfond
Call for Papers --- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019