[Hol-info] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021

Call for Papers formal papers - informal papers - doctoral programme 14th Conference on Intelligent Computer Mathematics - CICM 2021 - July 26-31, 2020 Timisoara, Romania

Re: [Hol-info] proof replay?

Dan, On Mon, 2021-01-25 at 14:40 +0100, D. J. Bernstein wrote: > I have another newbie question regarding HOL Light; again happy to > hear about other HOL variants if those have easier answers. Since you mentioned other HOL variants, I would like to point out that Isabelle can take advantage of m

[Hol-info] FORTE 2021: Last CfP

*FORTE 2021* - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems June 14-18, 2021, Valletta, Malta FORTE 2021 is on