https://www.youtube.com/watch?v=A1BhOVW8qZU
nice continuation of this story
nice continuation of this story
YouTube
How a Hobbyist Solved a 50-Year-Old Math Problem (Einstein Tile)
Sign up to Brilliant to receive a 30-day free trial + a 20% discount with this link! https://brilliant.org/upandatom/
Recommended course: https://brilliant.org/courses/beautiful-geometric-explorations/
Hi! I'm Jade. If you'd like to consider supporting Up…
Recommended course: https://brilliant.org/courses/beautiful-geometric-explorations/
Hi! I'm Jade. If you'd like to consider supporting Up…
🙏1
> стаття про те, як писати завжди корректний код за допомогою систем автоматичної верифікації
> a taste of coq
lmao
> a taste of coq
lmao
🗿1