bsubercaseaux/EmptyHexagonLean bsubercaseaux/EmptyHexagonLean

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language Lean
  • Created 12 months ago
  • Updated 2 months 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