Home
Explore
mastodon.social
infosec.exchange
mstdn.social
mstdn.jp
hachyderm.io
piaille.fr
social.vivaldi.net
mastodon.world
troet.cafe
mastodon.uno
mastodon.gamedev.place
techhub.social
social.tchncs.de
mastodon.nl
norden.social
flipboard.social
mastoturk.org
kolektiva.social
occm.cc
mathstodon.xyz
nrw.social
tech.lgbt
mastodonapp.uk
defcon.social
universeodon.com
c.im
masto.es
sueden.social
mstdn.ca
toot.community
tkz.one
sfba.social
mastodon.scot
det.social
mstdn.party
mastodon.ie
hessen.social
ohai.social
ruhr.social
mastodontech.de
pouet.chapril.org
livellosegreto.it
mastodon.nu
mastodon.bida.im
ieji.de
indieweb.social
social.linux.pizza
mastodon.eus
social.cologne
mastodon.au
muenchen.social
ioc.exchange
social.anoxinon.de
mastodon.green
mastodont.cat
fediscience.org
ruby.social
nerdculture.de
metalhead.club
cyberplace.social
uri.life
mindly.social
mastodon.de
masto.nu
mastodon.ml
m.otter.homes
dresden.network
phpc.social
sunny.garden
mastodontti.fi
toot.wales
climatejustice.social
noc.social
fairy.id
furry.engineer
sciences.social
bark.lgbt
mastodon.me.uk
glasgow.social
mastodon.com.pl
mstdn.plus
blorbo.social
bonn.social
freiburg.social
mastorol.es
rollenspiel.social
tooting.ch
rheinneckar.social
c7.io
mementomori.social
rivals.space
hcommons.social
mastodon.gal
mstdn.games
discuss.systems
lgbtqia.space
social.sciences.re
mast.lat
expressional.social
masto.pt
wehavecookies.social
mapstodon.space
mastodon-belgium.be
wien.rocks
snabelen.no
ursal.zone
cupoftea.social
privacysafe.social
gaygeek.social
tilde.zone
sakurajima.moe
retro.pizza
darmstadt.social
woof.tech
en.osm.town
ludosphere.fr
mastodon.berlin
mast.dragon-fly.club
peoplemaking.games
graz.social
kanoa.de
muenster.im
pawb.fun
musician.social
qdon.space
oslo.town
bookstodon.com
famichiki.jp
mastodon.uy
veganism.social
socel.net
union.place
urusai.social
witter.cz
toad.social
h4.io
mstdn.business
mstdn.dk
xarxa.cloud
theblower.au
eupolicy.social
mustard.blog
machteburch.social
tooot.im
musicworld.social
fandom.ink
4bear.com
tea.codes
burningboard.net
spore.social
opalstack.social
thecanadian.social
toot.kif.rocks
masto.nyc
pnw.zone
mastodon.london
mastodon.la
mountains.social
hear-me.social
disabled.social
poliversity.it
libretooth.gr
graphics.social
dizl.de
archaeo.social
bahn.social
ciberlandia.pt
furries.club
dmv.community
fedi.at
library.love
mastodon.pnpde.social
gardenstate.social
cultur.social
vkl.world
utopia.cool
babka.social
mast.hpc.social
mastodon.energy
tuiter.rocks
frikiverse.zone
is.nota.live
mendeddrum.org
donphan.social
muri.network
social.roadfm.fr
burma.social
gamepad.club
fulda.social
toot.si
puntarella.party
social.politicaconciencia.org
mastodon.africa
bzh.social
tchafia.be
masto.nobigtech.es
tyrol.social
wargamers.social
norcal.social
hispagatos.space
lou.lt
w3c.social
social.silicon.moe
mograph.social
lsbt.me
ani.work
datasci.social
epsilon.social
khiar.net
gayfr.social
mastodon.pirateparty.be
opencoaster.net
qaf.men
toot.funami.tech
socialbc.ca
hometech.social
masto.yttrx.com
friendsofdesoto.social
theatl.social
esq.social
toot.garden
leipzig.town
indieauthors.social
lewacki.space
mastodon.vlaanderen
epicure.social
kurry.social
genealysis.social
mstdn.animexx.de
est.social
arvr.social
toot.re
frankfurt.social
toki.social
karlsruhe-social.de
pointless.chat
elekk.xyz
hoosier.social
mastodon.tn
umbracocommunity.social
apobangpo.space
devianze.city
seocommunity.social
mastodon.cr
colorid.es
paktodon.asia
fribygda.no
retro-gaiden.com
mastodon.education
toots.nu
mastodon.wien
twoot.site
techtoots.com
katholisch.social
poweredbygay.social
frontrange.co
ruhrpott.social
klog.tw
gamerstavern.online
mastodon.sg
nwb.social
h-net.social
okla.social
raphus.social
jazztodon.com
rheinhessen.social
mastodon.pub.solar
rail.chat
mastodon.cl
mastodon.bot
turtleisland.social
mastodon-swiss.org
blackqueer.life
bologna.one
stereodon.social
fairmove.net
elizur.me
birdon.social
camp.smolnet.org
mastodon.cipherbliss.com
cwb.social
k8s.social
mastodon.free-solutions.org
mikumikudance.cloud
fpv.social
woodworking.group
mastodon.babb.no
biplus.social
growers.social
squawk.mytransponder.com
mastodon.iow.social
mastodon.frl
skastodon.com
episcodon.net
social.diva.exchange
ailbhean.co-shaoghal.net
mastodon.hosnet.fr
lounge.town
cville.online
kcmo.social
kzoo.to
mcr.wtf
23.illuminati.org
connectop.us
syzito.xyz
mastodon.ee
mastodon.bahia.no
social.ferrocarril.net
nfld.me
creators.social
synapse.cafe
silversword.online
burnout.cafe
dariox.club
mastodon.ph
social.avali.zone
polsci.social
fpl.social
mastodon.mg
darticulate.com
bath.social
social.main-angler.de
ms.maritime.social
troet.fediverse.at
bvb.social
psu.social
newforest.social
netsphere.one
nutmeg.social
kjas.no
social.sndevs.com
mastodon.re
douzepoints.social
earth.law
saint-paul.us
ceilidh.online
devhub.social
exquisite.social
wxw.moe
drupal.community
learningdisability.social
shelter.moe
mastodon.sdf.org
Log In
vy
Oct 24, 2025
https://www.
yodaiken.com/2025/10/24/specif
ications-like-temporal-logic-but-with-ordinary-mathematics/
#computerscience
#specification
#temporallogic
#automata
#sequentialfunctions
Specifications like temporal logic but with ordinary mathematics – keeping simple
0
0
0
vy