LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

lean-sysf

amarmaduke/lean-sysf

LeanEmerging

Stars

1

Forks

1

Contributors

2

Last push

4mo ago

Recent commits

Latest commits.

finished proof for pred
a26bdc9JasonAlanVeenendaal4mo ago
added proof of consistency
076dac9JasonAlanVeenendaal4mo ago
update docs
83ac20aAndrew Marmaduke6mo ago
restructure and new strong norm
5faa158Andrew Marmaduke6mo ago
finish sn proof for one setup
9546c6dAndrew Marmaduke6mo ago

fix docs

120bf83Andrew Marmaduke6mo ago

system f with basic metatheory

9f2a9bdAndrew Marmaduke6mo ago

9809178Andrew Marmaduke6mo ago

Top contributors

Builders behind this project.

JasonAlanVeenendaal