Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
143
stars
31
forks
source link
[coq] Adapt `Coq.Protect` interface to incorporate an interruption token #660
Closed
ejgallego closed 5 months ago
Unfortunately it seems that
memprof-limits
is not packaged on Nix.https://github.com/NixOS/nixpkgs/issues/300480