Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
book
A textbook on informal homotopy type theory
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
15mo ago
Recent commits
Latest commits.
Merge pull request #1164 from mikeshulman/induction-notes
15e4eb7
Steve Awodey
16mo ago
give equal credit to several originators of inductive schemas
e325292
Michael Shulman
16mo ago
Merge pull request #1145 from HoTT/dependabot/github_actions/actions/checkout-4
e428abf
Mike Shulman
24mo ago
Merge pull request #1152 from niyoushanajmaei/fix-typos
2e736d1
Mike Shulman
30mo ago
Install gh to fix GitHub Actions (3rd try)
a05b0e4
favonia
30mo ago
Install gh to fix GitHub Actions (second try)
a1cf8b3
favonia
30mo ago
Install gh to fix GitHub Actions
d993b86
favonia
30mo ago
more consistent punctuation
fd00fe5
niyoushanajmaei
30mo ago
Top contributors
Builders behind this project.
mikeshulman
1.4K commits
andrejbauer
692 commits
awodey
270 commits
DanGrayson
252 commits
dlicata335
92 commits
cangiuli
88 commits
txa
70 commits
EgbertRijke
65 commits
