LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

lean-lambda-divergence-explorer

rain-1/lean-lambda-divergence-explorer

LeanEmerging

Stars

—

Forks

—

Contributors

—

Last push

27d ago

Recent commits

Latest commits.

Lift known divergences in 2048200-2457799
20afc02Codex27d ago
Generate cycle proofs for 2048200-2457799
db43fbeCodex27d ago
Classify terms 2048200-2457799
1df80e2Codex27d ago
Classify terms 1638600-2048199
03bd0ecCodex27d ago
Classify terms 1229000-1638599
d2a9ef3Codex27d ago

Finish residual phased proofs for 819400-1228999

d2ad465Codex27d ago

Lift known divergences in 819400-1228999

646f031Codex27d ago

Generate context lifts for 819400-1228999

8799e92Codex27d ago

Top contributors

Builders behind this project.

No contributor data available.