Giters
Benjamin Davidson (benjamindavidson)

benjamindavidson

Geek Repo

3

followers

0

following

3

stars

Location:New York City

Github PK Tool:Github PK Tool

Benjamin Davidson's repositories

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

License:MITStargazers:0Issues:0Issues:0

python-tips-and-tricks

Stargazers:0Issues:0Issues:0

mathlib

Lean mathematical components library

License:Apache-2.0Stargazers:0Issues:0Issues:0