LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

reference-manual

The Lean reference manual

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

3mo ago

Recent commits

Latest commits.

feat: migrate remaining FFI content (#419)
e8bbda9David Thrane Christiansen14mo ago
feat: v4.18 highlights (#418)
4e969d3Joachim Breitner14mo ago
chore: upstream marginalia (#415)
4017946David Thrane Christiansen15mo ago
chore: upstream Lean code features to Verso (#414)
5596d99David Thrane Christiansen15mo ago
feat: new design for definition boxes (#366)
8bc0427Jakob Vase15mo ago

chore: bump toolchain to v4.19.0-rc2 and add draft release notes (#413)

31a2ecdKim Morrison15mo ago

feat: release notes for v4.18.0 (#412)

5e09693Kim Morrison15mo ago

feat: bump to RC and decrease "chattiness" of build (#411)

d946874David Thrane Christiansen15mo ago

Top contributors

Builders behind this project.

david-christiansen