Discover @maxdore Open Source projects

Maximilian Doré (@maxdore)

maxdore

Stars
39
Global Rank 405,176 (Top 14 %)
Followers 6
Registered about 10 years ago
Most used languages

Haskell
50.0 %

Agda 16.7 %

TeX
16.7 %

HTML
16.7 %
Location 🇩🇪 Germany
Country Total Rank 17,823
Country Ranking

Agda 25

Haskell
71

TeX
671

HTML
5,991

elfe

Interactive Theorem Proving for students

csolver

dedekind

cubetac

FTT

collapse