LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

lean-decomp

Decompiler for lean proof terms

LeanEmerging

Stars

—

Forks

—

Contributors

1

Last push

1mo ago

Recent commits

Latest commits.

big readme handoff
a381b3coflatt1mo ago
some cleanup
7878726oflatt1mo ago
various
70cd547oflatt1mo ago
a fix
be34d12oflatt1mo ago
simplification
8b2a3e6oflatt1mo ago
small update

9bf03f7oflatt1mo ago

83ec46eoflatt1mo ago

60628c3oflatt1mo ago

Top contributors

Builders behind this project.