FYI A new StackExchange site for proof assistants has been proposed.
ProofAssistants <https://area51.stackexchange.com/proposals/126242/proof-assistants?referrer=Njg4YTJmMjYwOTIxNjdkNGEyMmZkNzE0Y2M4YmFhOTY3OWVmNDUwNWM3ZmFlMjYwYTRiYzZiZWY1ODg5ZjdiMqfBIyhShuHO9QbGuJfVwOYRvfVgPfbJQrn2UOFTeOe-0> Users of Lean, Coq, Isabelle, Agda, and MetaMath have been notified and committed. I am GuyCoder on StackExchange and Eric Taucher on the Zulip sites for proof assistants. Regards, Eric
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
