My attempts at a formalization of Hanabi in Lean.
Updated 2025-11-15 17:25:13 +01:00
Fork of the lecture files for the Lean Course taught my Prof. Floris van Doorn and Michael Rothgang at the University of Bonn in the winter term 25/26.
This repository contains @Flo and my own notes / solutions of sheets / etc.
Updated 2025-11-14 11:32:57 +01:00
Mirror of https://github.com/actions/checkout
Updated 2025-11-14 00:20:02 +01:00
Updated 2025-11-13 16:16:16 +01:00
This mirrors and automatically synsc the upstream files for the Lean Course taught my Prof. Floris van Doorn and Michael Rothgang at the University of Bonn in the winter term 25/26.
For my (and my exercise partner's) own notes / solutions of sheets / etc, check out this fork
Updated 2025-11-13 16:16:16 +01:00
Cache dependencies and build outputs in GitHub Actions
Updated 2025-09-24 15:47:33 +02:00
Updated 2025-09-16 12:51:32 +02:00
Updated 2025-09-05 15:57:32 +02:00
Updated 2025-08-15 22:15:01 +02:00
Mathematical analysis and framework for the theory of Hanabi.
Updated 2025-08-15 01:00:06 +02:00
Updated 2025-05-30 15:25:10 +02:00
Updated 2024-08-02 00:34:16 +02:00
Dynamic program to solve Hanabi endgame optimally (assuming people know their cards but not the draw pile)
Updated 2024-06-17 21:11:06 +02:00
Updated 2024-04-24 13:37:16 +02:00
Updated 2024-03-20 22:34:17 +01:00
Updated 2024-02-22 16:24:52 +01:00
Updated 2024-02-06 15:52:07 +01:00