Tic-Tac-Toe Meets Lean 4
Posted4 months agoActive4 months ago
Original: Tic-tac-toe meets Lean 4
ochagavia.nlTech Discussionstory
informativepositive
Debate
20/100
Lean 4Formal VerificationProgramming
Key topics
Lean 4
Formal Verification
Programming
Discussion Activity
Light discussionFirst comment
3h
Peak period
1
2-3h
Avg / period
1
Key moments
- 01Story posted
Aug 28, 2025 at 11:24 PM EDT
4 months ago
Step 01 - 02First comment
Aug 29, 2025 at 2:17 AM EDT
3h after posting
Step 02 - 03Peak activity
1 comments in 2-3h
Hottest window of the conversation
Step 03 - 04Latest activity
Aug 29, 2025 at 2:17 AM EDT
4 months ago
Step 04
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
Discussion (1 comments)
Showing 1 comments
fjfaase
4 months ago
Some of the definitions remind me of the formalisation I wrote for the game Havannah by Christian Freeling. See https://iwriteiam.nl/Havannah.html Maybe I should try to write it in Lean as well.
View full discussion on Hacker News
ID: 45059802Type: storyLast synced: 11/18/2025, 12:14:36 AM
Want the full context?
Jump to the original sources
Read the primary article or dive into the live Hacker News thread when you're ready.