lean-client-python icon indicating copy to clipboard operation
lean-client-python copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community
→

Metadata

Python talking to the Lean theorem prover

Results 11 lean-client-python issues
Sort by recently updated
recently updated
newest added

Is there a similar client impletation for Lean 4?

1 comment

I'm trying to work on a project with Lean 4, which requires communicating to lean4 process (maybe via LSP) and stands alone from vscode or web or React. However, the...

LAWArthur avatar LAWArthur

← Metadata

34
Stars
7
Forks
Watchers

Owner

verified publisher icon leanprover-community

Metadata

Python talking to the Lean theorem prover

Back