Has anyone had the problem yet of PG (not the Coq process, but the emacs process) eating up all RAM? https://github.com/ProofGeneral/PG/issues/499
Last updated: Jan 31 2023 at 13:02 UTC