This topic was moved by Cyril Cohen to #VsCoq devs & users > Installation of Coq in VS code on Mac OS
Last updated: Sep 30 2023 at 05:01 UTC