From xkcd.com
15 15
#math #tech #scheme #deltatest #programming #poweredbyawk #bracketsymbols #xkcd
11h ago
From trickjarrett.com
Wednesday, July 3rd, 2024 - TrickJarrett.com
3 10
Posts from Wednesday, July 3rd, 2024
#math #python #blog #Travel #airport #amsterdam #hachybots #BlogReminder
1h ago
From blogspot.com
1 2
Introduction 00 - Proofs & Proof Assistants Direct Proofs 01 - First Proof 02 - Substitution 03 - Symbols, No Numbers 04 - Simple Algebra
on Wed, 12PM
From github.io
Lecturas compartidas el 3 de julio de 2024
1 1
Las lecturas compartidas en Mastodon el 3 de julio de 2024 son Lecturas compartidas el 2 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math #CategoryTheory #FunctionalProgramming #Haskell #Python
#ITP #math #lean4 #isabellehol
10h ago
From github.io
Las particiones definen relaciones reflexivas
1 1
Cada familia de conjuntos \(P\) define una relación de forma que dos elementos están relacionados si algún conjunto de \(P\) contiene a ambos elementos. Se puede definir en Lean por def relacion (P
#ITP #math #lean4 #calculemus #isabellehol
3h ago
From quantamagazine.org
Amateur Mathematicians Find Fifth ‘Busy Beaver’ Turing Machine | Quanta Magazine
4 36
After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get.
on Tue, 6PM