afp.sourceforge.net

Preview meta tags from the afp.sourceforge.net website.

Linked Hostnames

8

Thumbnail

Search Engine Appearance

Google

https://afp.sourceforge.net/

Archive of Formal Proofs

Download Archive of Formal Proofs for free. A collection of machine-checkend mathematical proofs. The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal.



Bing

Archive of Formal Proofs

https://afp.sourceforge.net/

Download Archive of Formal Proofs for free. A collection of machine-checkend mathematical proofs. The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal.



DuckDuckGo

https://afp.sourceforge.net/

Archive of Formal Proofs

Download Archive of Formal Proofs for free. A collection of machine-checkend mathematical proofs. The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal.

  • General Meta Tags

    5
    • title
      Archive of Formal Proofs download | SourceForge.net
    • Content-Type
      text/html; charset=utf-8
    • viewport
      width=device-width, initial-scale=1.0, user-scalable=no
    • description
      Download Archive of Formal Proofs for free. A collection of machine-checkend mathematical proofs. The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal.
    • keywords
      Archive of Formal Proofs, download Archive of Formal Proofs free, Software Development, Library Management, Mathematics

  • Open Graph Meta Tags

    6
    • og:title
      Archive of Formal Proofs
    • og:type
      product
    • og:image
      https://a.fsdn.com/allura/p/afp/icon?1579580703
    • og:url
      https://sourceforge.net/projects/afp/
    • og:site_name
      SourceForge

  • Item Prop Meta Tags

    24
    • position
      1
    • position
      2
    • position
      3
    • position
      4
    • fileSize
      30066694

  • Link Tags

    12
    • alternate
      /p/afp/activity/feed
    • alternate
      /projects/afp/rss?path=/
    • apple-touch-icon
      //a.fsdn.com/con/img/sandiego/logo-180x180.png
    • canonical
      https://sourceforge.net/projects/afp/
    • icon
      //a.fsdn.com/con/img/sandiego/logo-180x180.png

Links

91