LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

repl

A simple REPL for Lean 4, returning information about errors and sorries.

OtherEmerging

Stars

—

Forks

—

Contributors

4

Last push

25mo ago

Recent commits

Latest commits.

chore: move to v4.9.0-rc1 (#46)
7df77c0Kim Morrison25mo ago
chore: bump toolchain to v4.8.0 (#45)
439687bKim Morrison25mo ago
fix: duplicated and misaligned messages and info trees in output (#41)
88a0643Utensil25mo ago
chore: bump to v4.8.0-rc1 (#39)
6d5b2c3Kim Morrison26mo ago
cleanup tests
683fa0cScott Morrison26mo ago

chore: bump toolchain to v4.7.0

68ddd10David Thrane Christiansen27mo ago

2ab7948Scott Morrison28mo ago

feat: basic full file mode (#37)

7767705Scott Morrison28mo ago

Top contributors

Builders behind this project.

david-christiansen