Backlink stats coq.inria.fr

• Linkpop:	360.974
• Domainpop:	925
• IP-Pop:	595
• ClassC-Pop:	529

Referring Domains Referring Pages Recently Discovered Top Pages Status Codes Anchor Text Reverse IP

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxx.xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	13
2	http://www.w3.org \| Details ► http://www.w3.org/community/argumentation/wiki/Main_Page	128.30.52.100	1	12
3	xxxx://xxx.xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.x.xx.xx	20	11
4	http://www.lemonde.fr \| Details ► http://www.lemonde.fr/blog/binaire/2015/03/	151.101.246.217	6	11
5	xxxx://xxxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	5	11

6	http://www.postgresql.org \| Details ► http://www.postgresql.org/message-id/20090211132431.GA3400%40eee.gi	217.196.149.50	2	11
7	xxxx://xxx.xx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	9840	10
8	http://www.cs.umd.edu \| Details ► http://www.cs.umd.edu/class/fall2019/cmsc631/res/Auto.html	128.8.127.4	616	10
9	xxxx://xxxxxx.xxxxx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.x.xxx	571	10
10	http://www.cs.princeton.edu \| Details ► http://www.cs.princeton.edu/courses/archive/fall07/cos595/stdlib/html/Coq.Arith.Arith.html	128.112.136.61	468	10
11	xxxx://xxx.xx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	10	10
12	http://www.infoq.com \| Details ► http://www.infoq.com/fr/articles/vrais-faux-jumeaux/?itm_source=articles_about_fp&itm_medium=link&itm_campaign=fp	34.208.163.206	4	10
13	xxxx://xxx.xxxx.xx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xx	3	10
14	http://www.sussex.ac.uk \| Details ► http://www.sussex.ac.uk/its/services/software/list?filter=all&id=417	139.184.32.51	3	10
15	xxxx://xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	10
16	http://www.codeproject.com \| Details ► http://www.codeproject.com/Articles/432071/Computational-Types-in-Csharp-and-Fsharp	76.74.234.210	1	10
17	xxxx://xxx.xxxx-xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xx.x	1	10
18	http://easychair.org \| Details ► http://easychair.org/smart-program/VSL2014/Coq-index.html	213.136.76.235	1	10
19	xxxx://xxx.xxxxxxxxxxxxxxx-xxxxxxxxx.xxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	10
20	http://dev.to \| Details ► http://dev.to/donaldkellett/a-gentle-introduction-to-curry-howard-isomorphism-10in	151.101.130.217	1	10
21	xxxx://xxx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	1	10
22	http://www.ics.uci.edu \| Details ► http://www.ics.uci.edu/~ardalan/viola.html	128.195.1.88	1	10
23	xxxx://xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	7372	9
24	http://perso.ens-lyon.fr \| Details ► http://perso.ens-lyon.fr/damien.pous/allegories/allegories.html	140.77.168.56	6829	9
25	xxxx://xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	4924	9
26	http://cs.nyu.edu \| Details ► http://cs.nyu.edu/~jt4767/papers/iris-refinement/coqdoc/index.html	216.165.22.203	2696	9
27	xxxx://xxx.xxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	313	9
28	http://www.seas.upenn.edu \| Details ► http://www.seas.upenn.edu/~sweirich/cis700/f06/	158.130.68.91	87	9
29	xxxx://xxxxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	81	9
30	http://www.ufrgs.br \| Details ► http://www.ufrgs.br/soft-livre-edu/wiki/Dynamic_Table_Free_Educational_Software	143.54.2.20	36	9
31	xxxx://xxxxxxxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xx.xx	25	9
32	http://www.cs.purdue.edu \| Details ► http://www.cs.purdue.edu/homes/bendy/cs565/fall16/	128.10.19.120	22	9
33	xxxx://xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xx	17	9
34	http://www.groklaw.net \| Details ► http://www.groklaw.net/article.php?story=20091111151305785	152.19.134.45	11	9
35	xxxx://xxx.xxxxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.x.xxx	9	9
36	http://www.ens-lyon.fr \| Details ► http://www.ens-lyon.fr/denif/formats.php	140.77.168.21	8	9
37	xxxx://xxx.xxxxx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.x.x	4	9
38	http://pages.cs.wisc.edu \| Details ► http://pages.cs.wisc.edu/~mulhern/coqtalks/2008.09/	128.105.7.9	4	9
39	xxxx://xx.x.xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	3	9
40	http://directory.fsf.org \| Details ► http://directory.fsf.org/wiki/Coq	209.51.188.232	3	9
41	xxxx://xxxxxxxxxxx.xxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	3	9
42	http://www.developpez.net \| Details ► http://www.developpez.net/forums/d1331378/autres-langages/langages-fonctionnels/puppy-linux-5-coq-8-3pl5-proof-assistant-p-coqide/	87.98.128.200	2	9
43	xxxx://xxx.xxx.xx.xx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xxx	2	9
44	http://www.theregister.com \| Details ► http://www.theregister.com/2021/06/15/coq_programming_language_change/	188.114.99.224	2	9
45	xxxx://xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	2	9
46	http://www.uni-potsdam.de \| Details ► http://www.uni-potsdam.de/de/thi/forschung	141.89.239.5	2	9
47	xxxx://xxx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	2	9
48	http://www.tau.ac.il \| Details ► http://www.tau.ac.il/~tsirel/dump/Static/knowino.org/wiki/Links_Proof_assistant.html	132.66.251.11	2	9
49	xxxx://xxxxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xx.xxx	1	9
50	http://researcher.watson.ibm.com \| Details ► http://researcher.watson.ibm.com/researcher/view_group.php?id=8299	52.116.238.203	1	9