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