Bernardo Subercaseaux (@bsubercaseaux)
github

bsubercaseaux

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 21
  • Following 25
  • Registered almost 9 years ago
  • Most used languages
    C++
         33.3 %
    Lean     33.3 %
    JavaScript
         33.3 %
  • Location πŸ‡¨πŸ‡± Chile
  • Country Total Rank 3,117
  • Country Ranking
    Lean     1
    C++
         333
    JavaScript
         1,203

Top repositories

1

EmptyHexagonLean

Code related to the Lean verification of the empty hexagon theorem
Lean
10
star
2

twenty-four

A simple web version of the game 24
JavaScript
1
star
3

competitiveProgramming

Material related to competitive programming (Specially ACM-ICPC)
C++
1
star