LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

pullback

Formally verified code to code translation using LLMs and Lean4

LeanEmerging

Stars

1

Forks

—

Contributors

2

Last push

18d ago

Recent commits

Latest commits.

new stratified index based system
d432b2eFrederickPu18d ago
made RawPExpr use RawPType
29019c9FrederickPu20d ago
got new interp and toPExpr sketch working
b8c081bFrederickPu20d ago
backuip alternate
81e476dFrederickPu22d ago
improved names
af2b93bFrederickPu25d ago

moved helper

516d313FrederickPu26d ago

completed toPExpr briddge

167143bFrederickPu26d ago

moved general functions to P

decab40FrederickPu27d ago

Top contributors

Builders behind this project.