Loreon
Labs
Platform
Docs
Home
Ecosystems
TeX
logic_and_proof
CMU Undergrad Course
TeX
Emerging
GitHub
Stars
6
Forks
6
Contributors
8
Last push
12mo ago
Recent commits
Latest commits.
Merge pull request #15 from tomasguinzburg/patch-1
46998b2
Floris van Doorn
12mo ago
fix(introduction): correct typo
906fcb3
gvinz
12mo ago
typo
1c687e3
Jeremy Avigad
55mo ago
typo
67589ea
Jeremy Avigad
57mo ago
the_real_typo (thanks to Martin Dvorak)
c67eef4
Jeremy Avigad
58mo ago
natural numbers and induction: add an exercise
84cfb1c
Jeremy Avigad
59mo ago
elementary number theory: state Fermat's theorem on sums of squares
92179b8
Jeremy Avigad
59mo ago
introduction: say a few words about foundations
8ad82fa
Jeremy Avigad
59mo ago
Top contributors
Builders behind this project.
avigad
263 commits
robertylewis
78 commits
soonhokong
37 commits
arademaker
5 commits
williamdemeo
5 commits
fpvandoorn
2 commits
soonho-tri
2 commits
tobiasgrosser
2 commits
