Backlink stats softwarefoundations.cis.upenn.edu

• Linkpop:	1.369
• Domainpop:	111
• IP-Pop:	79
• ClassC-Pop:	76

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

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxx.xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.x.xx.xx	1	11
2	http://www.cs.umd.edu \| Details ► http://www.cs.umd.edu/class/fall2019/cmsc631/res/Auto.html	128.8.127.4	103	10
3	xxxx://xxx.xx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	74	10
4	http://www.cs.princeton.edu \| Details ► http://www.cs.princeton.edu/%7Eappel/papers/	128.112.136.61	12	10
5	xxxx://xxx.xx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	4	10

6	http://www.cs.purdue.edu \| Details ► http://www.cs.purdue.edu/homes/bendy/cs565/fall18/	128.10.19.120	73	9
7	xxxx://xxx.xx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	3	9
8	http://perso.ens-lyon.fr \| Details ► http://perso.ens-lyon.fr/damien.pous/coqapprox/	140.77.168.56	2	9
9	xxxx://xx.x.xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	1	9
10	http://bbs.pku.edu.cn \| Details ► http://bbs.pku.edu.cn/v2/jump-to.php?url=https%3A%2F%2Fsoftwarefoundations.cis.upenn.edu	162.105.205.23	1	9
11	xxxx://xxx.xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	148	8
12	http://www.site.uottawa.ca \| Details ► http://www.site.uottawa.ca/~afelty/courses/csi5137.html	137.122.24.222	64	8
13	xxxx://xxx.xxx.xxxxxxxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	4	8
14	http://www.digitalmars.com \| Details ► http://www.digitalmars.com/d/archives/digitalmars/D/D_enters_Tiobe_top_20_332291.html	162.217.114.56	2	8
15	xxxx://xx.xxxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	2	8
16	http://cra.org \| Details ► http://cra.org/crn/2018/08/the-surprising-security-benefits-of-end-to-end-formal-proofs/	54.242.59.162	1	8
17	xxxx://xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xx.xx.xx.xx	1	8
18	http://wiki.gentoo.org \| Details ► http://wiki.gentoo.org/wiki/Coq	204.187.15.5	1	8
19	xxxx://xxx.xxxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.x.xx.xx	1	8
20	http://www.cs.ucdavis.edu \| Details ► http://www.cs.ucdavis.edu/~peisert/links.html	169.237.212.78	1	8
21	xxxx://xxx.xxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	8
22	http://web.cecs.pdx.edu \| Details ► http://web.cecs.pdx.edu/~apt/cs578_2022/	131.252.208.59	1	8
23	xxxx://xxx.xxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	8
24	http://profs.info.uaic.ro \| Details ► http://profs.info.uaic.ro/~arusoaie.andrei/old/lectures/PLP/2018/plp.html	85.122.23.20	20	7
25	xxxx://xxx.xxxx.xxxx-xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	7	7
26	http://cs-people.bu.edu \| Details ► http://cs-people.bu.edu/gaboardi/teaching/S22-CS599.html	128.197.11.71	6	7
27	xxxx://xx.xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.x	5	7
28	http://users.dimi.uniud.it \| Details ► http://users.dimi.uniud.it/%7Epietro.digianantonio//semanticaCoq/index.html	158.110.4.162	3	7
29	xxxx://xxxxxx.xxxxxxxxxx.xxx-xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	3	7
30	http://www.cs.us.es \| Details ► http://www.cs.us.es/~jalonso/cursos/lmf-18/doc.php	150.214.140.135	2	7
31	xxxx://xxxxxxxxxxxxxxxxxx.xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xx.xx.x.xx	2	7
32	http://adam.chlipala.net \| Details ► http://adam.chlipala.net/	97.107.142.198	1	7
33	xxxx://xxxxxxxxx.xxxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	7
34	http://www.cs.au.dk \| Details ► http://www.cs.au.dk/~spitters/fun20.html	185.45.20.48	1	7
35	xxxx://xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	7
36	http://leanprover-community.github.io \| Details ► http://leanprover-community.github.io/archive/stream/113488-general/topic/naming.20conventions.html	185.199.109.153	33	6
37	xxxx://xxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	28	6
38	http://flint.cs.yale.edu \| Details ► http://flint.cs.yale.edu/cs428/assignments/as3.html	128.36.229.18	25	6
39	xxxx://xxxxx-xx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	22	6
40	http://basics.sjtu.edu.cn \| Details ► http://basics.sjtu.edu.cn/~yuxin/teaching/Coq/coq.html	202.120.38.18	5	6
41	xxxx://xxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	4	6
42	http://www.fstar-lang.org \| Details ► http://www.fstar-lang.org/tutorial/book/intro.html	52.173.151.229	3	6
43	xxxx://xxxx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.x	3	6
44	http://ocw.kyoto-u.ac.jp \| Details ► http://ocw.kyoto-u.ac.jp/syllabus/?act=detail&syllabus_id=tech_5488&year=2022	133.3.249.93	3	6
45	xxxx://xxxxxxx.xx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	2	6
46	http://leanprover.github.io \| Details ► http://leanprover.github.io/lean4/doc/examples/bintree.lean.html	185.199.108.153	2	6
47	xxxx://xxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	2	6
48	http://en.itu.dk \| Details ► http://en.itu.dk/Research/PhD-Programme/PhD-Courses/PhD-courses-2022/February/PhD-Course---Program-Verification	130.226.142.6	2	6
49	xxxx://xxxxx.xxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xxx	1	6
50	http://www.glc.us.es \| Details ► http://www.glc.us.es/~jalonso/DAOconCoq/index.php/Demostraci%C3%B3n_Asistida_por_Ordenador_con_Coq	150.214.140.130	49	5