Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
proof
i have no clue if this really proves anything
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
10d ago
Recent commits
Latest commits.
last push
071d38d
jklw10
10d ago
does not generalize, pivot
cdb3f78
jklw10
11d ago
2 axioms solved
7a6a5ea
jklw10
11d ago
savepoint
5cacd9c
jklw10
11d ago
generalization
fefcb26
jklw10
12d ago
unification refinement + doc update.
1cfa183
jklw10
13d ago
deriving conjugates.
2a37060
jklw10
13d ago
loosely linked to quantum behaviour
e70b172
jklw10
13d ago
Top contributors
Builders behind this project.
jklw10
14 commits
