LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

mathlib4

Work in progress mathlib port for lean 4

OtherEmerging

Stars

—

Forks

—

Contributors

7

Last push

3mo ago

Recent commits

Latest commits.

update lean version
46fcadfGabriel Ebner61mo ago
feat (Data/Equiv/Basic): add `equiv` (#13)
f8294a6Kevin Buzzard61mo ago
chore: update lean version
19f26fcGabriel Ebner61mo ago
ci: check that all files are imported
ce54faeGabriel Ebner61mo ago
add Mem notation for lists (#12)
ac54aaaKevin Buzzard61mo ago

ci: enable actions on prs

302ad90Gabriel Ebner61mo ago

chore: update lean version

6262928Gabriel Ebner61mo ago

chore: use syntax matcher

5b04a77Gabriel Ebner61mo ago

Top contributors

Builders behind this project.

shingtaklam1324