LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

mathlib4

Work in progress mathlib port for lean 4

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

56mo ago

Recent commits

Latest commits.

fix: add precedence for guardExpr (#87)
64f9c43Daniel Selsam56mo ago
feat(Data/Fin/Basic) (#84)
d4ec6b4ammkrn56mo ago
chore: bump to lean4:nightly-2021-11-07 (#86)
e15f5f7Scott Morrison56mo ago
chore: bump to lean4:nightly-2021-11-02 (#85)
c140fc8Scott Morrison56mo ago
refactor(Mathport): move mathport prelude to mathlib4 (#80)
b0c3952Scott Morrison56mo ago

feat(Init/Data/Nat/Lemmas); nat to string length lemmas (#77)

28111cfammkrn56mo ago

chore: bump to nightly-2021-10-28 and revert regression (#81)

a8cf6b3Scott Morrison56mo ago

feat(coercion for decidable predicates to bool) (#83)

357595aammkrn56mo ago

Top contributors

Builders behind this project.