[Hol-info] Element assignment in structures
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 **
Call for Papers --- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019