Kartik Singhal

There is another version available at which seems the most legible https://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/constructive-math.pdf

> * 1 commit under [[email protected]](mailto:[email protected]) and 1 commit under [[email protected]](mailto:[email protected]); do you have a preference for how you show up in `git shortlog -nse`? Gmail will be better for...

It seems there is some movement to improve dune support in PG via company-coq, see https://github.com/cpitclaudel/company-coq/pull/257 Is there any progress in VSCoq?

@fakusb thanks for taking a look, here's a template project: https://github.com/palmskog/coq-program-verification-template Especially notice the caveat at https://github.com/palmskog/coq-program-verification-template#caveats We are looking to improve this situation from VSCoq perspective, so one can...

@Blaisorblade ran into the same issue while installing full coq-platform, perhaps this issue should also be reported at platform repo?

Lo, [it ran](https://github.com/coq/platform/runs/5667992128?check_suite_focus=true#step:4:475) but needs permission to create a PR: > Identified PR#231 from environment > [GitHub Comment Reporter] Unable to post pull request comment: 403 {"message": "Resource not accessible...

> @k4rtik : is there a way to avoid the chmod of the files in the shell-scripts folder? None of these files is intended to be called directly - they...

Hi @MSoegtropIMC can you manually cancel these platform CI runs, ie, all except the Megalinter one? As it may not get queued until much later.

Is there a way for me to abort them? I don't think I have permission. Or did you mean to disable them while making the PR?

Hi @MSoegtropIMC I am getting this error with my latest change: ``` Error: Input required and not supplied: token ``` Can you please double-check if the personal access token you...