Discover @amosturchet Open Source projects

Amos Turchet (@amosturchet)

amosturchet

Stars
5
Global Rank 1,435,387 (Top 50 %)
Followers 3
Following 1
Registered about 9 years ago
Most used languages

Lean 66.7 %

HTML
33.3 %
Location 🇮🇹 Italy
Country Total Rank 760,865
Country Ranking

Lean 2

HTML
1,017

amosturchet.github.io

diophantine_approx

Lean project for Diophantine Approximation

Siegel