LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

joyal

awodey/joyal

LeanEmerging

Stars

16

Forks

1

Contributors

2

Last push

24mo ago

Recent commits

Latest commits.

Merge branch 'main' of https://github.com/awodey/joyal
204ed6bSteve Awodey24mo ago
HIM DFG ackowledgement
fc06aadSteve Awodey24mo ago
Update README.md
19447b7Steve Awodey24mo ago
Update lake manifest and toolchain
14d7fc0Andrej Bauer25mo ago
Remove unneeded lemma.
ab342baAndrej Bauer25mo ago

Remove the `cut` tactic in favor of `suffice`.

fe204caAndrej Bauer25mo ago

Replace Bool with Prop.

c4453ebAndrej Bauer25mo ago

Slavs omit articles.

8103906Andrej Bauer25mo ago

Top contributors

Builders behind this project.