www.isa-afp.org

Preview meta tags from the www.isa-afp.org website.

Linked Hostnames

3

Thumbnail

Search Engine Appearance

Google

https://www.isa-afp.org/

Archive of Formal Proofs

A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.



Bing

Archive of Formal Proofs

https://www.isa-afp.org/

A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.



DuckDuckGo

https://www.isa-afp.org/

Archive of Formal Proofs

A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.

  • General Meta Tags

    7
    • title
      Archive of Formal Proofs
    • generator
      Hugo 0.142.0
    • charset
      utf-8
    • X-UA-Compatible
      IE=edge
    • viewport
      width=device-width, initial-scale=1

  • Open Graph Meta Tags

    4
    • og:title
      Archive of Formal Proofs
    • og:url
      https://isa-afp.org/
    • og:image
      https://isa-afp.org/images/afp.png
    • og:type
      website

  • Link Tags

    3
    • alternate
      https://isa-afp.org/index.xml
    • icon
      ./images/favicon.ico
    • stylesheet
      ./css/front.min.css

Links

3