bsubercaseaux/EmptyHexagonLean bsubercaseaux/EmptyHexagonLean

  • Stars
    star
    9
  • Rank 1,933,290 (Top 39 %)
  • Language Lean
  • Created 10 months ago
  • Updated 26 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bsubercaseaux/EmptyHexagonLean
github

bsubercaseaux

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Code related to the Lean verification of the empty hexagon theorem

More Repositories

1

twenty-four

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

competitiveProgramming

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