LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

InternalMath

dagurtomas/InternalMath

LeanEmerging

Stars

—

Forks

—

Contributors

1

Last push

6d ago

Recent commits

Latest commits.

wip
2496221Dagur Asgeirsson6d ago
Bump dependencies and use functor quasicategory API
e5ea08bDagur Asgeirsson10d ago
Move simplex face data to visible debt
0df9cb0Dagur Asgeirsson10d ago
Convert SCT opaque definitions to visible debt
ed3080eDagur Asgeirsson10d ago
Add coherent SCT pullback cone API
8631b15Dagur Asgeirsson10d ago

Rephrase role-framing in comments and README

63b7bb6Dagur Asgeirsson10d ago

Highlight first IML workshop projects

526f73dDagur Asgeirsson10d ago

Remove role-framing from workshop blueprints

1342e27Dagur Asgeirsson10d ago

Top contributors

Builders behind this project.