lean-migrate / lean_backend /__init__.py
Hrushi's picture
Upload folder using huggingface_hub
bf9c466 verified
from __future__ import annotations
from .aeneas_backend import AeneasBackend
from .interface import LeanBackend, LeanResult
from .kimina_backend import KiminaBackend, get_backend
from .stdin_backend import StdinBackend
__all__ = [
"AeneasBackend",
"KiminaBackend",
"LeanBackend",
"LeanResult",
"StdinBackend",
"get_backend",
]