commit: 7504fc6514433e50c1cc6a2a82a34df835e8371d

[log]
author: Siddharth Bhat <siddu.druid@gmail.com>

Tue Nov 22 01:27:41 2022 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Nov 22 12:34:17 2022 +0100
tree: 3c8d827f0ad2ba06235d7ee253c921f15543c807
parent: 89e1bc72ed32695d763b38623623eda8895583a9 [diff]

fix: update libleanrt.bc, rename to lean.h.bc

nix/bootstrap.nix[diff]
src/runtime/CMakeLists.txt[diff]
src/runtime/lean_inlines.c[Deleted - diff]
src/shell/CMakeLists.txt[diff]

4 files changed

tree: 3c8d827f0ad2ba06235d7ee253c921f15543c807

README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Quickstart
Walkthrough installation video
Quick tour video
Homepage
Theorem Proving Tutorial
Functional Programming in Lean first chapter is available!
Manual
Release notes starting at v4.0.0-m3
Examples
FAQ

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.