LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

lamr

Logic and Mechanized Reasoning

LeanEmerging

Stars

116

Forks

32

Contributors

2

Last push

5mo ago

Recent commits

Latest commits.

hide .devcontainer
06907e8Jeremy Avigad5mo ago
repair codespaces
17f22e9Jeremy Avigad5mo ago
update
0b76471Jeremy Avigad5mo ago
resolution
99f4779Marijn Heule17mo ago
510
d173bf5Marijn Heule17mo ago
slides

08e5aaf

Marijn Heule

17mo ago

run architecture specific CaDiCaL

f67590fJeremy Avigad17mo ago

update for 2025 course

164837fJeremy Avigad18mo ago

Top contributors

Builders behind this project.