Giters
Floris van Doorn (fpvandoorn)

fpvandoorn

Geek Repo

81

followers

5

following

54

stars

Company:University of Paris-Saclay

Location:Paris

Home Page:http://florisvandoorn.com/

Github PK Tool:Github PK Tool

Organizations
leanprover-community

Floris van Doorn's repositories

leanprover.github.io

www

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

lean-web-editor

Lean web editor

Language:TypeScriptStargazers:0Issues:0Issues:0

Bergen-Lean

Language:LeanStargazers:0Issues:0Issues:0

hanabi-1

Language:Standard MLStargazers:0Issues:0Issues:0

book

A textbook on informal homotopy type theory

Language:TeXStargazers:0Issues:0Issues:0

tutorial

Lean Tutorials

Language:TeXLicense:Apache-2.0Stargazers:0Issues:0Issues:0

hott-exercises-lean

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0