LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

LeanInteract

sorgfresser/LeanInteract

PythonEmerging

Stars

—

Forks

—

Contributors

3

Last push

6mo ago

Recent commits

Latest commits.

Print `check_lake` output + make REPL build optional
6ec2108Auguste Poiroux7mo ago
Fix `auto_build` parameter for git and temporary projects
6afa05fAuguste Poiroux7mo ago
Add support for Lean v4.24.1 and v4.25.2
24c3765Auguste Poiroux7mo ago
Add support for Lean v4.26.0-rc2
88e308cAuguste Poiroux7mo ago
Remove deprecated support
c6b1925Auguste Poiroux7mo ago

Add support for Lean v4.26.0-rc1

a1a68a6Auguste Poiroux7mo ago

Update example scripts to use incremental elaboration

c29cb73Auguste Poiroux7mo ago

Add support for Lean v4.25.1

cf21811Auguste Poiroux7mo ago

Top contributors

Builders behind this project.

habemus-papadum