Backlinks
| Referring page | DR | Ref. domains | Linked domains | Anchor and target URL |
|---|---|---|---|---|
|
Tony Finch – link log
https://dotat.at/:/feed.html?2013
dotat.at
|
65 | 44 | 2,723 |
Two dozen mathematicians wrote a 600 page book in less than 6 months using GitHub.
http://math.andrej.com/2013/06/20/the-hott-book
DOFOLLOW
|
|
Request for Logic: August 2011
https://requestforlogic.blogspot.com/2011/08
requestforlogic.blogspot.com
|
46 | 1 | 78 |
Andrej's blog
http://math.andrej.com/2008/11/23/a-toy-call-by-push-value-language
DOFOLLOW
|
|
Homotopy Type Theory SS21 - Lehrstuhl für Informatik 8
https://www8.cs.fau.de/teaching/ss21/hott
www8.cs.fau.de
|
13 | 9 | 81 |
A course on homotopy (type) theory
http://math.andrej.com/2019/05/08/a-course-on-homotopy-type-theory
DOFOLLOW
|
|
The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.29
drops.dagstuhl.de
|
77 | 388 | 1,743 |
http://math.andrej.com/asset/data/madison-synthetic-computability-talk.pdf
http://math.andrej.com/asset/data/madison-synthetic-computability-talk.pdf
DOFOLLOW
|
|
calchylus · PyPI
https://pypi.org/project/calchylus
pypi.org
|
83 | 4,028 | 30 |
Andrew Bayer
http://math.andrej.com/2016/08/30/formal-proofs-are-not-just-deduction-steps
NOFOLLOW
|
|
Constructive Mathematics (Stanford Encyclopedia of Philosophy/Winter 2019 Edi...
https://plato.stanford.edu/archives/win2019/entries/mathematics-constructive
plato.stanford.edu
|
83 | 3,859 | 1,772 |
available online
http://math.andrej.com/2005/08/23/realizability-as-the-connection-between-computable-and-constructive-mathematics
DOFOLLOW
|
|
Link List 215 - Ein Templatesystem für Templatesysteme
https://blog.uxul.de/e?e=ll215
blog.uxul.de
|
7 | 4 | 936 |
Hask is not a category
http://math.andrej.com/2016/08/06/hask-is-not-a-category
DOFOLLOW
|
|
Goodstein-Folgen: Die Kraft des Umweges über die Unendlichkeit | Klein Projec...
https://blog.kleinproject.org/de/goodstein-folgen-die-kraft-des-umweges-uber-die-unendlichkeit
blog.kleinproject.org
|
39 | 4 | 63 |
[14]
http://math.andrej.com/wp-content/uploads/2008/02/Hydra/hydraApplet.html
DOFOLLOW
|
|
Institute for Advanced Study - Wikipedia
https://en.wikipedia.org/wiki/Institute_for_Advanced_Study
en.wikipedia.org
|
95 | 305,439 | 602 |
"The HoTT book (finished)"
http://math.andrej.com/2013/06/20/the-hott-book
NOFOLLOW
|
|
EricHerboso.org: December 2018
https://www.ericherboso.org/2018/12
ericherboso.org
|
9 | 3 | 369 |
Kirby-Paris hydra game
http://math.andrej.com/2008/02/02/the-hydra-game
DOFOLLOW
|
|
Declarative reactive tables | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3795
lambda-the-ultimate.org
|
55 | 110 | 255 |
intuitionistic accounts
http://math.andrej.com/2009/09/08/constructive-stone-cardinality-of-sets
DOFOLLOW
|
|
EricHerboso.org: Fastly Fast Growing Functions
http://www.ericherboso.org/2018/12/fastly-fast-growing-functions.html
ericherboso.org
|
9 | 3 | 369 |
Kirby-Paris hydra game
http://math.andrej.com/2008/02/02/the-hydra-game
DOFOLLOW
|
|
EricHerboso.org: 2018
http://www.ericherboso.org/2018
ericherboso.org
|
9 | 3 | 369 |
Kirby-Paris hydra game
http://math.andrej.com/2008/02/02/the-hydra-game
DOFOLLOW
|
|
Intuitionistic Logic (partial rerun) | ScienceBlogs
https://www.scienceblogs.com/goodmath/2007/03/26/intuitionistic-logic-partial-r-1
scienceblogs.com
|
81 | 1,678 | 13,144 |
defined in another way
http://math.andrej.com/2008/08/13/intuitionistic-mathematics-for-physics
DOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
slides
http://math.andrej.com/wp-content/uploads/2019/07/What-is-an-explicit-bijection-FPSAC-2019-slides-with-presenter-notes.pdf
NOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
An amazing functional
http://math.andrej.com/2010/07/29/an-amazing-functional
NOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
Computing an integer using a Grothendieck topos
http://math.andrej.com/2021/05/18/computing-an-integer-using-a-sheaf-topos
NOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
Derivations as computations
http://math.andrej.com/2019/08/21/derivations-as-computations
NOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
substitution is pullback
http://math.andrej.com/2012/09/28/substitution-is-pullback
NOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
what is an explicit bijection?
http://math.andrej.com/2019/07/04/what-is-an-explicit-bijection-fpsac-2019-slides
NOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
post
http://math.andrej.com/2019/10/28/runners-in-action
NOFOLLOW
|
|
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
|
85 | 8,714 | 244 |
Proof of negation and proof by contradiction
http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction
NOFOLLOW
|
|
countable :: Stackage Server
https://www.stackage.org/nightly-2026-01-13/package/countable-1.2
stackage.org
|
69 | 48 | 617 |
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs
DOFOLLOW
|
|
Sucesiones de Goodstein: el poder de un desvío vía el infinito | Klein Projec...
https://blog.kleinproject.org/es/sucesiones-de-goodstein-el-poder-de-un-desvio-via-el-infinito
blog.kleinproject.org
|
39 | 4 | 63 |
[14]
http://math.andrej.com/wp-content/uploads/2008/02/Hydra/hydraApplet.html
DOFOLLOW
|
|
Coq • es.knowledger.de
http://es.knowledger.de/0278144/Coq
es.knowledger.de
|
9 | 5 | 2,156 |
Seminarios de vídeo para el ayudante de la prueba de Coq
http://math.andrej.com/2011/02/22/video-tutorials-for-the-coq-proof-assistant
DOFOLLOW
|
|
Debian Disguised Work
https://disguised.work/
disguised.work
|
7 | 2 | 629 |
blog post about “Seemingly impossible functional programs”
https://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs
DOFOLLOW
|
|
Debian Disguised Work
https://disguised.work/
disguised.work
|
7 | 2 | 629 |
blog post about “Seemingly impossible functional programs”
https://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs
DOFOLLOW
|
|
Eev and Maxima
https://anggtwu.net/eev-maxima.html
anggtwu.net
|
8 | 2 | 364 |
this sense
http://math.andrej.com/asset/data/the-dawn-of-formalized-mathematics.pdf
DOFOLLOW
|
|
100. Preventivní opatření, část 1. – V Zapovězeném lese | Archetypal.cz
https://archetypal.cz/2021/100-preventivni-opatreni-cast-1
archetypal.cz
|
37 | 3 | 96 |
http://math.andrej.com/2008/02/02/the-hydra-game/
http://math.andrej.com/2008/02/02/the-hydra-game
NOFOLLOW
|
|
Search Results: "Martin"
https://planet-search.debian.org/cgi-bin/search.cgi?terms="Martin";offset=0
planet-search.debian.org
|
6 | 1 | 2,718 |
blog post about Seemingly impossible functional programs
https://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
One syntax to rule them all
http://math.andrej.com/2022/05/20/one-syntax-to-rule-them-all
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
Isomorphism invariance and isomorphism reflection in type theory (TYPES 2023)
http://math.andrej.com/2023/06/15/types-2023-isomorphism-invariance-and-isomorphism-reflection
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
Exploring strange new worlds of mathematics
http://math.andrej.com/2023/02/10/exploring-strange-new-worlds
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
Continuity principles and the KLST theorem
http://math.andrej.com/2023/07/19/continuity-principles-and-the-klst-theorem
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
Space-filling curves, constructively
http://math.andrej.com/2024/01/30/space-filling-curves-constructively
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
On indefinite truth values
http://math.andrej.com/2023/08/13/on-indenfinite-truth-values
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
Happy birthday, Dana!
http://math.andrej.com/2022/10/11/happy-birthday-dana
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
Variations on Weihrauch degrees (CiE 2023)
http://math.andrej.com/2023/07/28/variations-on-weihrauch-degrees
DOFOLLOW
|
|
The Rocq Planet
https://rocq-prover.org/rocq-planet
rocq-prover.org
|
69 | 23 | 57 |
Formalizing invisible mathematics
http://math.andrej.com/2023/02/13/formalizing-invisible-mathematics
DOFOLLOW
|
|
Constructive Mathematics (Stanford Encyclopedia of Philosophy/Fall 2018 Edition)
https://plato.stanford.edu/archives/fall2018/entries/mathematics-constructive
plato.stanford.edu
|
83 | 3,859 | 1,772 |
available online
http://math.andrej.com/2005/08/23/realizability-as-the-connection-between-computable-and-constructive-mathematics
DOFOLLOW
|
|
mobileink: The Problem with Inductive Definition - and why it needs coinducti...
http://blog.mobileink.com/2016/03/the-problem-with-inductive-definition.html
blog.mobileink.com
|
— | 0 | 133 |
The elements of an inductive type
http://math.andrej.com/2013/08/28/the-elements-of-an-inductive-type
DOFOLLOW
|
|
Link List 215 - Ein Templatesystem für Templatesysteme
https://blog.uxul.de/e?disqus=yes&e=ll215
blog.uxul.de
|
7 | 4 | 936 |
Hask is not a category
http://math.andrej.com/2016/08/06/hask-is-not-a-category
DOFOLLOW
|
|
Theorem(e): 2006
https://theoreme.blogspot.com/2006
theoreme.blogspot.com
|
— | 0 | 198 |
Mathematics and computation
http://math.andrej.com/
DOFOLLOW
|
|
Wadler's Blog: 2020
https://wadler.blogspot.com/2020
wadler.blogspot.com
|
12 | 6 | 375 |
Five stages of accepting constructive mathematics
http://math.andrej.com/2016/10/10/five-stages-of-accepting-constructive-mathematics
DOFOLLOW
|
|
Programming with Algebraic Effects and Handlers | Lambda the Ultimate
http://lambda-the-ultimate.org/node/4481
lambda-the-ultimate.org
|
55 | 110 | 255 |
Programming with Algebraic Effects and Handlers
http://math.andrej.com/2012/03/08/programming-with-algebraic-effects-and-handlers
DOFOLLOW
|
|
16BPP.net: Blog / Nim / Page 1
https://16bpp.net/blog/tag/nim
16bpp.net
|
18 | 3 | 71 |
a simple Python implement is available
http://math.andrej.com/2010/04/21/random-art-in-python
DOFOLLOW
|
|
The Promise and Peril of Finite Sets — LessWrong
https://www.lesswrong.com/posts/qLaShfcnXGnYeKFJW/the-promise-and-peril-of-finite-sets
lesswrong.com
|
79 | 954 | 4,082 |
Andrej Bauer's work in general
http://math.andrej.com/
DOFOLLOW
|
|
The Promise and Peril of Finite Sets — LessWrong
https://www.lesswrong.com/posts/qLaShfcnXGnYeKFJW/the-promise-and-peril-of-finite-sets
lesswrong.com
|
79 | 954 | 4,082 |
Seemingly impossible functional programs
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs
DOFOLLOW
|
|
A compendium of conundrums
https://www.thinkingcomplete.com/2018/09/a-compendium-of-conundrums.html
thinkingcomplete.com
|
19 | 3 | 8 |
explanation taken from here
http://math.andrej.com/2008/02/02/the-hydra-game
DOFOLLOW
|
|
Tony Finch – link log
https://dotat.at/:/RY095.html
dotat.at
|
65 | 44 | 2,723 |
http://math.andrej.com/2021/06/24/the-dawn-of-formalized-mathematics/
http://math.andrej.com/2021/06/24/the-dawn-of-formalized-mathematics
DOFOLLOW
|
Frequently Asked Questions
How many backlinks does math.andrej.com have?
The backlinks page for math.andrej.com shows all individual inbound links discovered in our crawl of the web. Each backlink represents a hyperlink on another website that points to a page on math.andrej.com. Use the filters to narrow results by dofollow/nofollow status, domain rating, or anchor text.
What is a backlink?
A backlink is a hyperlink on one website that points to a page on a different website. Backlinks are one of the most important ranking factors in search engine algorithms because they act as votes of confidence from other sites. The more high-quality backlinks a domain has, the more authority search engines assign to it.
Are the backlinks to math.andrej.com dofollow or nofollow?
Backlinks to math.andrej.com include both dofollow and nofollow links. Dofollow links pass link equity (ranking power) to the target site, while nofollow links include a rel="nofollow" attribute that tells search engines not to pass authority. Both types contribute to a natural backlink profile, but dofollow links carry more SEO weight. You can filter by link type using the rel filter above the table.
How often is backlink data updated?
Backlink data is updated monthly when our web crawler completes a new cycle. Our pipeline processes billions of web pages to discover new backlinks, track lost links, and update domain authority scores. The freshness of data depends on when our crawler last visited the referring pages.