Joscode
Projects
▾
Erdős–Straus Formalized
Vibe-coded poker
Card-game engine in Lean4
Tools
▾
QR Code
Bezier Widget
Encode/Decode
Reaction Tester
Media
About
☀
Start
Number of cards to shuffle
New Shuffle
Next card