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