Bernardo Subercaseaux (@bsubercaseaux)
github

bsubercaseaux

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 917,627 (Top 32 %)
  • Followers 21
  • Following 25
  • Registered over 8 years ago
  • Most used languages
    C++
         33.3 %
    JavaScript
         33.3 %
    Lean     33.3 %
  • Location πŸ‡¨πŸ‡± Chile
  • Country Total Rank 3,117
  • Country Ranking
    Lean     1
    C++
         290
    JavaScript
         1,408

Top repositories

1

EmptyHexagonLean

Code related to the Lean verification of the empty hexagon theorem
Lean
9
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