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: Sep 23 2023 at 14:01 UTC