#isabellehol — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #isabellehol, aggregated by home.social.
-
The Földes–Hammer characterization of split graphs (in Isabelle/HOL). ~ Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz. https://isa-afp.org/entries/Foldes_Hammer.html #IsabelleHOL #ITP #Math
-
The five platonic solids (in Isabelle/HOL). ~ Evan Finken. https://isa-afp.org/entries/Platonic_Solids.html #IsabelleHOL #ITP #Math
-
The five platonic solids (in Isabelle/HOL). ~ Evan Finken. https://isa-afp.org/entries/Platonic_Solids.html #IsabelleHOL #ITP #Math
-
The five platonic solids (in Isabelle/HOL). ~ Evan Finken. https://isa-afp.org/entries/Platonic_Solids.html #IsabelleHOL #ITP #Math
-
The five platonic solids (in Isabelle/HOL). ~ Evan Finken. https://isa-afp.org/entries/Platonic_Solids.html #IsabelleHOL #ITP #Math
-
The five platonic solids (in Isabelle/HOL). ~ Evan Finken. https://isa-afp.org/entries/Platonic_Solids.html #IsabelleHOL #ITP #Math