Javier's info

IntersectMBO · Aug 10, 2023 · 6aebe6c · 6aebe6c
1 parent 45018b1
commit 6aebe6c
Show file tree

Hide file tree

Showing 3 changed files with 40 additions and 0 deletions.
diff --git a/blog/2023-07-20-goedel.md b/blog/2023-07-20-goedel.md
@@ -0,0 +1,21 @@
+---
+title: Goedel Team Update
+slug: 2023-07-20-goedel
+authors: jmchapman
+tags: [goedel]
+hide_table_of_contents: false
+---
+
+The team works on applied research and consulting in formal methods
+that is directly applicable to evidence based engineering in Core Tech
+and beyond.
+
+## High level summary
+
+## Details
+
+* Formalization of the chain synchronization mini-protocol in Isabelle
+
+* Review of the framework for specification and verification of
+  mini-protocols
+
diff --git a/blog/2023-08-04-goedel.md b/blog/2023-08-04-goedel.md
@@ -0,0 +1,18 @@
+---
+title: Goedel Team Update
+slug: 2023-07-07-goedel
+authors: jmchapman
+tags: [goedel]
+hide_table_of_contents: false
+---
+
+The team works on applied research and consulting in formal methods
+that is directly applicable to evidence based engineering in Core Tech
+and beyond.
+
+## High level summary
+
+## Details
+
+* Review of the framework for specification and verification of
+  mini-protocols
diff --git a/docusaurus.config.js b/docusaurus.config.js
@@ -97,6 +97,7 @@ const config = {
               { to: 'tags/cli-api', label: 'Node CLI & API' },
               { to: 'quarterly/tags/cli-api-quarterly', label: 'Node CLI & API Quarterly' },
               { to: 'tags/crypto', label: 'Crypto' },
+              { to: 'tags/goedel', label: 'Goedel' },
             ],
           },
           { to: 'archive', label: 'Archive', position: 'right' },