CALL FOR PARTICIPATION
17th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2018
29 October to 1 November 2018, Groningen, The Netherlands
http:
I'd be happy to see (1) made as a pull request. (Doing it this way gets the
Travis CI to automatically check it (at least to some extent).)
I agree that (2) is a useful distinction to make.
Michael
On 30/8/18, 23:27, "Fabian Immler" wrote:
Dear HOL4 Developers,
In a recent t
Dear HOL4 Developers,
In a recent thread on this list, Makarius mentioned experiments to load
HOL4 in the Isabelle Prover IDE. I participate in such experiments to
load HOL4 with Isabelle/HOL as kernel.
Anyhow, some of the main obstructions concern references (type 'a ref in
SML).
1) In a
