LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

fad

Functional Algorithms Design

LeanEmerging

Stars

13

Forks

1

Contributors

8

Last push

2d ago

Recent commits

Latest commits.

chore: remove assignment files and simplify termination proofs
8013e71Alexandre Rademaker2d ago
fix(chapter1): simplify proofs and move inits/tails to Chapter1-Ex
1aa4bcaAlexandre Rademaker3d ago
feat(chapter1): add termination proofs and collapse equivalence
00d328bAlexandre Rademaker3d ago
fix: solve perms1 and perms2 in chapter1
251e886Alexandre Rademaker7d ago
chore: upgrade to Lean v4.27.0-rc1
ac40e4fAlexandre Rademaker6mo ago

fix: minor syntax adjustment

5412315Alexandre Rademaker6mo ago

fix: minor syntax adjustment

ca63193Alexandre Rademaker6mo ago

fix(chapter4): complete flatten proof (#62)

41c9a7fMaximiliano Onofre Martínez6mo ago

Top contributors

Builders behind this project.