Kevin Sullivan
Kevin Sullivan
### Prerequisites * [ X] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean/issues)....
### Prerequisites * [ X] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean/issues)....
### Prerequisites * [ X] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean/issues)....
### Prerequisites * [X ] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues)....
### Prerequisites * [x ] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues)....
I've installed trepan3k in my python34 environment. I can run trepan3k. I can invoke it from within my python program. However whenever I try to issue gdb-like commands, I get...
The list module in this version of the code base is not in good shape; remove and replace at some point
I have simple markdown that's rendering correctly on GitHub. I put the URL for the raw markdown in the correct box and hit update. The markdown *is* imported but it's...
Error: System keychain is undefined%0A%0A- Extension Version: 0.35.0%0A- OS Version: Windows_NT x64 10.0.22000%0A- VSCode version: 1.83.1
I have a vague memory of you asking for help to produce a VSCode dev container for TLA+. I've created one, borrowing the basic set-up (but not your commit history)...