Proofcraft.org

Search Preview

proofcraft.org

www.proofcraft.org/

Most Used Html Elements

  • <div> : 38
  • <p> : 28
  • <a> : 28
  • <span> : 10
  • <img> : 8
  • <script> : 6
  • <h2> : 6
  • <hr> : 6
  • <meta> : 5
  • <li> : 3
  • <link> : 3

Most Used Html Classes

  • "row" : 9
  • "featurette" : 6
  • "featurette-divider" : 6
  • "lead" : 5
  • "col-md-7" : 5
  • "col-md-5" : 5
  • "img-responsive" : 5
  • "featurette-heading" : 5
  • "btn" : 4
  • "btn-default" : 4
  • "text-muted" : 4
  • "featurette-image" : 4
  • "container" : 3
  • "icon-bar" : 3
  • "twitter-follow-butto..." : 2
  • "g-follow" : 2
  • "col-md-8" : 2
  • "col-md-4" : 2

Where is www.proofcraft.org hosted?

Country:
United States
City:
Fremont
Registrar:
Public Interest Registry
Latitude:
37.52
Longitude:
-121.90
IP address:
65.19.178.144
IP Binary address:
1000001000100111011001010010000
IP Octal address:
10104731220
IP Hexadecimal address:
4113b290

Context analysis of proofcraft.org

Number of letters on this page:
1 964
Number of words on this page:
413
Number of sentences on this page:
41
Average words per sentences on this page:
10
Number of syllables on this page:
647

Domain name architecture

Domain name length:
14
Hyphens:
Domain doesn't contain hyphens!
Domain name with Hindi letters:
प र ओ ओ फ़ च र अ फ़ ट . ओ र ग
Domain name with Hebrew letters:
פּ ר (ο) (ο) ף ק(c) ר (a) ף ת . (ο) ר ג
Domain name with Cyrillic letters:
п р о о φ ц р a φ т . о р г
Domain name with Arabic letters:
(p) ر (o) (o) ف (c) ر ا ف ت . (o) ر غ
Domain name with Greek letters:
π ρ ο ο φ χ ρ α φ τ . ο ρ γ
Domain name with Chinese letters:
屁 艾儿 哦 哦 艾弗 西 艾儿 诶 艾弗 提 . 哦 艾儿 吉
Domain without Consonants:
prfcrft.rg
Domain without Vowels:
ooa.o
Alphabet positions:
p16 r18 o15 o15 f6 c3 r18 a1 f6 t20 . o15 r18 g7
Domain name pattern:
V: Vowel, C: Consonant, N: Number
C C V V C C C V C C . V C C

<HEAD> DATA INFORMATION

Encoding:
utf-8
viewport:
width=device-width, initial-scale=1
author:
Gerwin Klein

External links in proofcraft.org

  • http://isabelle.in.tum.de
  • https://twitter.com/lsf37
  • http://www.cse.unsw.edu.au/~kleing/top100/
  • http://doclsf.de
  • http://nicta.com.au
  • http://cse.unsw.edu.au
  • http://seL4.systems
  • http://creativecommons.org/licenses/by/4.0/

Internal links in proofcraft.org

  • http://proofcraft.org
  • ./index.html#
  • ./index.html#about
  • ./index.html#contact
  • ./feed.xml
  • ./blog/isabelle-style-part2.html
  • ./blog/isabelle-style.html
  • ./blog/proof-engineer-reading.html
  • ./blog/syntax-highlighting.html
  • #

Possible email addresses for proofcraft.org

  • info@proofcraft.org
  • email@proofcraft.org
  • support@proofcraft.org
  • contact@proofcraft.org
  • admin@proofcraft.org
  • postmaster@proofcraft.org
  • hostmaster@proofcraft.org
  • domain@proofcraft.org
  • abuse@proofcraft.org

Possible Domain Typos

www.roofcraft.org, www.poroofcraft.org, www.oroofcraft.org, www.plroofcraft.org, www.lroofcraft.org, www.p0roofcraft.org, www.0roofcraft.org, www.p-roofcraft.org, www.-roofcraft.org, www.p_roofcraft.org, www._roofcraft.org, www.poofcraft.org, www.preoofcraft.org, www.peoofcraft.org, www.prdoofcraft.org, www.pdoofcraft.org, www.prfoofcraft.org, www.pfoofcraft.org, www.prgoofcraft.org, www.pgoofcraft.org, www.pr4,oofcraft.org, www.p4,oofcraft.org, www.prtoofcraft.org, www.ptoofcraft.org, www.pr5oofcraft.org, www.p5oofcraft.org, www.profcraft.org, www.proiofcraft.org, www.priofcraft.org, www.prokofcraft.org, www.prkofcraft.org, www.prolofcraft.org, www.prlofcraft.org, www.propofcraft.org, www.prpofcraft.org, www.pro9ofcraft.org, www.pr9ofcraft.org, www.pro0ofcraft.org, www.pr0ofcraft.org, www.profcraft.org, www.prooifcraft.org, www.proifcraft.org, www.prookfcraft.org, www.prokfcraft.org, www.proolfcraft.org, www.prolfcraft.org, www.proopfcraft.org, www.propfcraft.org, www.proo9fcraft.org, www.pro9fcraft.org, www.proo0fcraft.org, www.pro0fcraft.org, www.proocraft.org, www.proofccraft.org, www.prooccraft.org, www.proofdcraft.org, www.proodcraft.org, www.proofecraft.org, www.prooecraft.org, www.proofrcraft.org, www.proorcraft.org, www.prooftcraft.org, www.prootcraft.org, www.proofgcraft.org, www.proogcraft.org, www.proofbcraft.org, www.proobcraft.org, www.proofvcraft.org, www.proovcraft.org, www.proofraft.org, www.proofcxraft.org, www.proofxraft.org, www.proofcsraft.org, www.proofsraft.org, www.proofcdraft.org, www.proofdraft.org, www.proofcfraft.org, www.prooffraft.org, www.proofcvraft.org, www.proofvraft.org, www.proofc raft.org, www.proof raft.org, www.proofcaft.org, www.proofcreaft.org, www.proofceaft.org, www.proofcrdaft.org, www.proofcdaft.org, www.proofcrfaft.org, www.proofcfaft.org, www.proofcrgaft.org, www.proofcgaft.org, www.proofcr4,aft.org, www.proofc4,aft.org, www.proofcrtaft.org, www.proofctaft.org, www.proofcr5aft.org, www.proofc5aft.org, www.proofcrft.org, www.proofcraqft.org, www.proofcrqft.org, www.proofcrawft.org, www.proofcrwft.org, www.proofcrazft.org, www.proofcrzft.org, www.proofcraxft.org, www.proofcrxft.org, www.proofcrasft.org, www.proofcrsft.org, www.proofcrat.org, www.proofcrafct.org, www.proofcract.org, www.proofcrafdt.org, www.proofcradt.org, www.proofcrafet.org, www.proofcraet.org, www.proofcrafrt.org, www.proofcrart.org, www.proofcraftt.org, www.proofcratt.org, www.proofcrafgt.org, www.proofcragt.org, www.proofcrafbt.org, www.proofcrabt.org, www.proofcrafvt.org, www.proofcravt.org, www.proofcraf.org, www.proofcraftr.org, www.proofcrafr.org, www.proofcraftf.org, www.proofcraff.org, www.proofcraftg.org, www.proofcrafg.org, www.proofcrafth.org, www.proofcrafh.org, www.proofcrafty.org, www.proofcrafy.org, www.proofcraft5.org, www.proofcraf5.org, www.proofcraft6.org, www.proofcraf6.org,

More Sites

Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: Microsoft-IIS/7.5
Server Location: Ireland / Dublin - 52.48.44.229
List of used Technologies: Wix.com - Free Website Builder, Html (HyperText Markup Language), Html5, Javascript
Diana Dimitrova Translations
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: Apache
Server Location: Bulgaria / - 217.174.149.125
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language)
包头市大青山机械制造有限责任公司现已发展成为我国北方最大的糖机制造商及西部地区较大的煤炭输送机械制造商,在开发、研究、制造制糖、煤炭输送设备等方面,处于国内同行前列,是糖机制造业的先行者。
Number of used Technologies: 8
Number of used Javascript files: 8
Server Software: Apache/2.4.23 (Win32) OpenSSL/1.0.2j PHP/5.2.17
Server Location: China / Nanjing - 222.186.52.46
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Javascript, Php (Hypertext Preprocessor)
Sunstar Travel พาคุณสัมผัสเมืองเหนือ อุ่นใจทุกเมื่อในทุกเส้นทาง กับบริการที่แสนประทับใจ
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: Apache/2
Server Location: Thailand / - 103.233.192.230
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Php (Hypertext Preprocessor), SVG (Scalable Vector Graphics), Facebook Box
Number of used Technologies: 13
Number of used Javascript files: 13
Server Software: cloudflare-nginx
Server Location: United States / San Francisco - 104.18.63.157
List of used Technologies: Wordpress CMS, Histats, CSS (Cascading Style Sheets), Flexslider, Google Font API, Html (HyperText Markup Language), Html5, Javascript, jQuery, Php (Hypertext Preprocessor), Pingback, SVG (Scalable Vector Graphics)
Bayer DecoDomus in 47626 Kevelaer-Winnekendonk. Auf über 3000 m2 zeigt das Familienunternehmen, dass eine professionelle Raumausstattung für jedermann erschwinglich bleiben kann.
Number of used Technologies: 3
Number of used Javascript files: 3
Server Software: Apache
Server Location: Germany / - 109.237.130.6
List of used Technologies: CSS (Cascading Style Sheets), Google Font API, Html (HyperText Markup Language), Html5, Javascript, jQuery, Php (Hypertext Preprocessor)
Experience a relaxing sea change at Blairgowrie Beach House. Rent idyllic beach haven two hours drive from Melbourne at Blairgowrie Beach.
Number of used Technologies: 31
Number of used Javascript files: 31
Server Software: nginx/1.12.1
Server Location: United States / Houston - 192.185.12.209
List of used Technologies: Wordpress CMS, CSS (Cascading Style Sheets), Datepicker, Flexslider, Html (HyperText Markup Language), Html5, Iframe, Javascript, jQuery, jQuery UI, Php (Hypertext Preprocessor), Pingback, Shortcodes
季節の食材はもちろんのこと、その時旨い物を。自分好みのお酒に巡り会えればと、週替わりでお酒をご用意しております。手軽に美味しいものを。 美味しいものは本当に美味しいと伝えたい。 また、昼の大六天では料理教室も開催。 大六天では簡単に基本の美味しい出汁の取り方をお教えいたします。モットーは「もっと楽に、もっと楽しく
Number of used Technologies: 25
Number of used Javascript files: 25
Server Software: Apache
Server Location: Japan / - 150.60.48.100
List of used Technologies: Wordpress CMS, Google Analytics, CSS (Cascading Style Sheets), Datepicker, Font Awesome, Html (HyperText Markup Language), Html5, Javascript, jQuery, jQuery Colorbox, jQuery UI, Php (Hypertext Preprocessor), Pingback, Shortcodes, SVG (Scalable Vector Graphics), W3 Total cache
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: ATS/5.3.0
Server Location: United States / Sunnyvale - 98.138.19.143
List of used Technologies: Html (HyperText Markup Language)
Description Here
Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: Protected by COMODO WAF mod_bwlimited/1.4
Server Location: United States / Saint Petersburg - 199.204.248.134
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Iframe, Javascript, jQuery, Php (Hypertext Preprocessor)