pyle: Python Lean Evaluator

Native Python bindings for Lean code evaluation.

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
.github/workflows		.github/workflows
Pyle		Pyle
bin		bin
include		include
lib		lib
tests		tests
.clang-format		.clang-format
.gitignore		.gitignore
.python-version		.python-version
CMakeLists.txt		CMakeLists.txt
Pyle.lean		Pyle.lean
README.md		README.md
benchmark.py		benchmark.py
benchmark_batch.py		benchmark_batch.py
examples.json		examples.json
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
pyproject.toml		pyproject.toml
requirements-dev.lock		requirements-dev.lock
requirements.lock		requirements.lock

Provide feedback