Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Binary file modified assets/social-card.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
36 changes: 16 additions & 20 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,28 +10,24 @@
content="A verified software factory and academy. We prove critical software follows its specification, publish the evidence, and train people through real contributions."
/>
<link rel="canonical" href="https://proven-commons.github.io/mission/" />
<meta property="og:type" content="website" />
<meta
property="og:title"
content="Proven Commons — Software the world can build on"
/>
<meta
property="og:description"
content="Public specifications. Machine-checked proofs. People who know how to build them. A programme of Foundation-0."
/>
<meta
property="og:url"
content="https://proven-commons.github.io/mission/"
/>
<meta
property="og:image"
content="https://proven-commons.github.io/mission/assets/social-card.png"
/>
<meta name="twitter:card" content="summary" />
<link rel="icon" href="assets/favicon.svg" type="image/svg+xml" />
<link rel="icon" href="assets/favicon.svg" type="image/svg+xml" />
<link rel="stylesheet" href="assets/site.css" />
<script src="assets/site.js" defer></script>
</head>
<meta property="og:type" content="website">
<meta property="og:site_name" content="Proven Commons">
<meta property="og:title" content="Proven Commons: Software the world can build on">
<meta property="og:description" content="A verified software factory and academy. We prove critical software follows its specification, publish the evidence, and train people through real contributions.">
<meta property="og:url" content="https://proven-commons.github.io/mission/">
<meta property="og:image" content="https://proven-commons.github.io/mission/assets/social-card.png">
<meta property="og:image:width" content="1200">
<meta property="og:image:height" content="630">
<meta property="og:image:alt" content="Proven Commons: Software the world can build on.">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:title" content="Proven Commons: Software the world can build on">
<meta name="twitter:description" content="A verified software factory and academy. We prove critical software follows its specification, publish the evidence, and train people through real contributions.">
<meta name="twitter:image" content="https://proven-commons.github.io/mission/assets/social-card.png">
<meta name="twitter:image:alt" content="Proven Commons: Software the world can build on.">
</head>
<body>
<a class="skip-link" href="#main">Skip to content</a>
<header class="site-header">
Expand Down