LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

verification_demo

A temporary repository

LeanEmerging

Stars

3

Forks

1

Contributors

1

Last push

21mo ago

Recent commits

Latest commits.

update mathlib
23c1e7fJeremy Avigad21mo ago
generalize to lists and add notes
f0667cfJeremy Avigad37mo ago
clean up comments
d898cc1Jeremy Avigad40mo ago
update after presentation
f277e68Jeremy Avigad40mo ago
add smt
92e263eJeremy Avigad40mo ago

set up demo

0eb9c0fJeremy Avigad40mo ago

cfbaabcJeremy Avigad40mo ago

Top contributors

Builders behind this project.