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