Method library

lean_py/project.py:134–136

Build and return a :class:`LeanLibrary` for this project.

(self)

        run_command(["lake", "build"], cwd=str(self._dir))

    def library(self) -> LeanLibrary:
        """Build and return a :class:`LeanLibrary` for this project."""
        return LeanLibrary.from_lake(self._dir, "Managed", build=True)

    def kernel(self) -> Kernel:
        """Build and return a :class:`Kernel` backed by this project."""