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