LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

adjoint

An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.

OtherEmerging

Stars

—

Forks

—

Contributors

2

Last push

6mo ago

Recent commits

Latest commits.

Merge pull request #8 from turnstilelabs/dsleo/fix-latex-download
f6770feLéo DS6mo ago
fix latex download
0ea27b3dsleo6mo ago
Merge pull request #7 from turnstilelabs/dsleo/chat-display
7647d43Léo DS6mo ago
fix chat display
f114630dsleo6mo ago
Merge pull request #6 from turnstilelabs/dsleo/new-proof-decomp
d82d4e7Léo DS6mo ago

Merge branch 'main' into dsleo/new-proof-decomp

e9062dadsleo6mo ago

patch nextjs vulnerability

013a8fedsleo7mo ago

new homepage examples

36f54a5dsleo7mo ago

Top contributors

Builders behind this project.