Home
Explore
mastodon.social
mstdn.social
infosec.exchange
mstdn.jp
social.vivaldi.net
hachyderm.io
piaille.fr
mastodon.world
troet.cafe
m.cmx.im
mastodon.uno
mastodon.gamedev.place
social.tchncs.de
mastodon.nl
norden.social
flipboard.social
kolektiva.social
mastoturk.org
mathstodon.xyz
nrw.social
occm.cc
tech.lgbt
defcon.social
mastodonapp.uk
mstdn.ca
universeodon.com
c.im
masto.es
sueden.social
toot.community
mstdn.party
sfba.social
mastodon.scot
det.social
mastodon.sdf.org
mastodon.ie
tkz.one
ohai.social
ruhr.social
hessen.social
mastodontech.de
mastodon.nu
pouet.chapril.org
livellosegreto.it
mastodon.au
social.linux.pizza
muenchen.social
ieji.de
mastodon.eus
social.cologne
indieweb.social
mastodon.bida.im
ioc.exchange
mastodon.green
mastodont.cat
feuerwehr.social
wehavecookies.social
social.anoxinon.de
nerdculture.de
masto.nu
ruby.social
mindly.social
mastodon.ml
cyberplace.social
metalhead.club
phpc.social
uri.life
dresden.network
mastodontti.fi
m.otter.homes
toot.wales
sunny.garden
climatejustice.social
sciences.social
noc.social
mstdn.plus
privacysafe.social
tooting.ch
freiburg.social
mastodon.me.uk
furry.engineer
hostux.social
blorbo.social
rollenspiel.social
mastodon.com.pl
bonn.social
gaygeek.social
urbanists.social
rheinneckar.social
mast.lat
mastoart.social
rivals.space
wien.rocks
ursal.zone
discuss.systems
expressional.social
mapstodon.space
mstdn.games
mastodon-belgium.be
masto.pt
todon.nl
h4.io
hcommons.social
fairy.id
snabelen.no
cupoftea.social
lgbtqia.space
darmstadt.social
tilde.zone
glasgow.social
sakurajima.moe
shelter.moe
urusai.social
mastodon.gal
bark.lgbt
retro.pizza
ludosphere.fr
muenster.im
qdon.space
mastodon.berlin
peoplemaking.games
socel.net
pawb.fun
bookstodon.com
toot.aquilenet.fr
veganism.social
mast.dragon-fly.club
union.place
vmst.io
kanoa.de
mstdn.dk
toad.social
theblower.au
eupolicy.social
witter.cz
oslo.town
freeradical.zone
mastodon.uy
masto.nyc
famichiki.jp
tooot.im
xarxa.cloud
machteburch.social
musicworld.social
fandom.ink
stranger.social
mstdn.business
thecanadian.social
gardenstate.social
disabled.social
cultur.social
burningboard.net
pnw.zone
graphics.social
mountains.social
furries.club
hear-me.social
mastorol.es
mustard.blog
bahn.social
musician.social
dizl.de
tea.codes
mastodon.pnpde.social
toot.kif.rocks
fedi.at
ciberlandia.pt
archaeo.social
babka.social
tuiter.rocks
libretooth.gr
musicians.today
vkl.world
dmv.community
ani.work
mastodon.energy
frikiverse.zone
4bear.com
tyrol.social
drupal.community
masto.nobigtech.es
gamepad.club
social.seattle.wa.us
mast.hpc.social
donphan.social
hometech.social
toot.si
lou.lt
fulda.social
is.nota.live
tchafia.be
bzh.social
muri.network
qaf.men
social.politicaconciencia.org
puntarella.party
toot.re
social.silicon.moe
mastodon.vlaanderen
wargamers.social
lsbt.me
mograph.social
norcal.social
opencoaster.net
datasci.social
theatl.social
mastodon.africa
toot.funami.tech
hispagatos.space
epicure.social
burma.social
elekk.xyz
mastodon.london
devianze.city
friendsofdesoto.social
apobangpo.space
est.social
kurry.social
planetearth.social
lewacki.space
mastodon.pirateparty.be
mastodon.education
toot.garden
leipzig.town
mastodon.cr
mstdn.animexx.de
genealysis.social
colorid.es
esq.social
ruhrpott.social
indieauthors.social
fikaverse.club
hoosier.social
fairmove.net
mastodon.bot
mastodon.wien
library.love
techtoots.com
toots.nu
fribygda.no
frontrange.co
opalstack.social
h-net.social
paktodon.asia
mastodon-swiss.org
rheinhessen.social
raphus.social
mastodon.sg
poweredbygay.social
arvr.social
rail.chat
cwb.social
seocommunity.social
episcodon.net
epsilon.social
stereodon.social
camp.smolnet.org
bologna.one
biplus.social
okla.social
mastodon.cipherbliss.com
elizur.me
birdon.social
mastodon.free-solutions.org
k8s.social
growers.social
masto.yttrx.com
mastodon.hosnet.fr
khiar.net
squawk.mytransponder.com
skastodon.com
mastodon.babb.no
balkan.fedive.rs
mastodon.frl
silversword.online
cville.online
23.illuminati.org
social.diva.exchange
ailbhean.co-shaoghal.net
lounge.town
mastodon.bachgau.social
mastodon.ph
mastodon.iow.social
kzoo.to
kcmo.social
mcr.wtf
synapse.cafe
nfld.me
darticulate.com
mastodon.ee
mastodon.bahia.no
social.ferrocarril.net
voi.social
nwb.social
troet.fediverse.at
fpl.social
nautical.social
dariox.club
polsci.social
nomanssky.social
mastodon.mg
mikumikudance.cloud
bvb.social
social.sndevs.com
ms.maritime.social
kjas.no
ceilidh.online
nutmeg.social
netsphere.one
wxw.moe
learningdisability.social
computerfairi.es
Log In
José A. Alonso
GOL in GOL in HOL: Verified circuits in Conway’s game of life. ~ Magnus O. Myreen and Mario Carneiro.
https://
drops.dagstuhl.de/storage/00li
pics/lipics-vol352-itp2025/LIPIcs.ITP.2025.25/LIPIcs.ITP.2025.25.pdf
#ITP
#HOL4
0
1
0
José A. Alonso