Karuna Sagar Krishna comments

Repositories
Issues
Comments

Results 1 comments of


                                            Karuna Sagar Krishna

Cannot interpret coq file on ubuntu with Coq and VsCode installed through Snap.

Still facing this issue on Ubuntu $ coqc -v The Coq Proof Assistant, version 8.15.2 compiled with OCaml 4.13.1 Logs from Coq Language Server: ``` starting coqtop exec: /snap/bin/coqtop -v...