issues
search
leanprover-community
/
lean-client-python
Python talking to the Lean theorem prover
Apache License 2.0
39
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Is there a similar client impletation for Lean 4?
#25
LAWArthur
opened
3 weeks ago
1
Watchdog error: Cannot read LSP request: A Lean 3 request was received. Please ensure that your editor has a Lean 4 compatible extension installed. For VSCode, this is
#24
enjoysmath
closed
1 year ago
3
Lean IPython kernel
#23
hodgestar
opened
2 years ago
4
Add a LICENSE.
#22
Julian
closed
3 years ago
1
Provide more and better examples for the trio server
#21
jasonrute
opened
3 years ago
0
Run tests in CI
#20
Julian
closed
1 year ago
8
Refactor commands API
#19
jasonrute
closed
3 years ago
6
Add Widget.
#18
Julian
closed
1 year ago
2
Fix the example lean file's location of add_comm.
#17
Julian
closed
3 years ago
5
Make the trio example work even if cwd is not examples/.
#16
Julian
closed
1 year ago
8
Document Lean server interface
#15
jasonrute
opened
4 years ago
3
Support Lean 3.15.0 (including widgets)
#14
jasonrute
opened
4 years ago
8
Fix await bug in kill
#13
jasonrute
closed
4 years ago
1
Continuous integration
#12
jasonrute
opened
4 years ago
3
`commands.py` needs unit tests
#11
jasonrute
opened
4 years ago
0
modified: qt_interface.py
#10
FredericLeRoux
closed
4 years ago
2
Support lean command line parameters
#9
jasonrute
closed
4 years ago
1
More comprehensive trio_example
#8
jasonrute
opened
4 years ago
0
Add lean command line parameters
#7
jasonrute
closed
4 years ago
0
The root of some of our problems with `commands.py`
#6
jasonrute
opened
4 years ago
9
Address non-happy paths
#5
jasonrute
opened
4 years ago
2
Fix receiver bug
#4
jasonrute
closed
4 years ago
1
Add testing framework
#3
jasonrute
closed
4 years ago
8
Freezes if you sync an unchanged file
#2
jasonrute
opened
4 years ago
2
Sometimes only half a message is in the buffer
#1
jasonrute
closed
4 years ago
4