Link
en.wikipedia.org
creativecommons.org
doi.org
arxiv.org
worldcat.org
purl.org
scopus.com
doaj.org
unibo.it
publicationethics.org
base-search.net
serialssolutions.com
journaltocs.ac.uk
journals4free.com
i.creativecommons.org
pubs.opengroup.org
cs.ru.nl
math.uwb.edu.pl
sba.unibo.it
journals.unibo.it
cs.unibo.it
acnp.unibo.it
find.openarchives.it
scholar.google.it
depositolegale.it
toccata.lri.fr
gforge.inria.fr
coq.inria.fr
math.uconn.edu
dblp.uni-trier.de
csl.sri.com
ulrichsweb.serialssolutions.com
michaelbeeson.com
code.google.com
pkp.sfu.ca
github.com
ipfs.io
tug.org
adacore.com
ifrs.edu.br
ncatlab.org
linksnewses.com
websitesnewses.com
iare.ac.in
riemysore.ac.in
andreipopescu.uk
jfr.cib.unibo.it
staff.aist.go.jp
adam.chlipala.net
eutypes.cs.ru.nl
seop.illc.uva.nl
abella-prover.org
dbscience.org
mtcwdigital.libsoft.org
strathprints.strath.ac.uk
nforum.ncatlab.org
he.wikipedia.org
fr.m.wikipedia.org
bg.pw.edu.pl
wiki.portal.chalmers.se
cl.cam.ac.uk
eprints.nottingham.ac.uk
cl-informatik.uibk.ac.at
groups.google.com
loonwerks.com
proofassistants.stackexchange.com
drops.dagstuhl.de
code.garrettmills.dev
plato.stanford.edu
library.surry.edu
bcn.uprrp.edu
toccata.gitlabpages.inria.fr
pauillac.inria.fr
dml.mathdoc.fr
lix.polytechnique.fr
shemesh.larc.nasa.gov
cs.bgu.ac.il
mail.riemysore.ac.in
drouhling.github.io
kwarc.github.io
math-comp.github.io
umn-plseminar.github.io
coq.gitlab.io
