Giters
David Loeffler (loefflerd)

loefflerd

Geek Repo

0

followers

0

following

2

stars

Github PK Tool:Github PK Tool

David Loeffler's repositories

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

Language:CSSLicense:MITStargazers:0Issues:0Issues:0