updates

css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css

@@ -1,98 +0,0 @@
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 100;
-  src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 200;
-  src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 300;
-  src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 400;
-  src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: italic;
-  font-display: swap;
-  font-weight: 400;
-  src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 500;
-  src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 600;
-  src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 700;
-  src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: italic;
-  font-display: swap;
-  font-weight: 700;
-  src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 800;
-  src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype");
-}
-
-@font-face {
-  font-family: 'Source Sans 3';
-  font-style: normal;
-  font-display: swap;
-  font-weight: 900;
-  src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype");
-}
-
-* {
-  font-family: 'Source Sans 3', sans-serif;
-}
-
-* {
-  color: white;
-  background: black;
-}
-
-/*# sourceMappingURL=styles.css.map */

css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css

@@ -0,0 +1,371 @@
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 100;
+  src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 200;
+  src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 300;
+  src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 400;
+  src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: italic;
+  font-display: swap;
+  font-weight: 400;
+  src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 500;
+  src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 600;
+  src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 700;
+  src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: italic;
+  font-display: swap;
+  font-weight: 700;
+  src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 800;
+  src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype");
+}
+
+@font-face {
+  font-family: 'Source Sans 3';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 900;
+  src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype");
+}
+
+* {
+  font-family: 'Source Sans 3', sans-serif;
+}
+
+/* _layout.sass */
+/* Variables */
+html {
+  background: #0a0c11;
+}
+
+/* Base Layout */
+body {
+  background: #10131a;
+  color: #ffffff;
+  font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif;
+  width: 100%;
+  height: 100%;
+  max-width: 1024px;
+  margin: 1.5rem auto;
+  padding: 1.5rem;
+  box-sizing: border-box;
+  border-radius: 8px;
+}
+
+header {
+  background: #1a1e29;
+  margin: 1.5rem;
+  padding: 1.5rem;
+  display: flex;
+  flex-wrap: wrap;
+  align-items: center;
+  justify-content: space-between;
+  border-radius: 8px;
+  margin: 0 auto;
+}
+
+header h1, header h1 a {
+  margin: 0;
+  font-size: 1.6rem;
+  font-weight: 600;
+  color: #ffffff;
+  text-decoration: none;
+  padding: 0;
+  transition: color 0.4s;
+}
+
+header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus {
+  color: #6fffd2;
+}
+
+nav {
+  display: flex;
+  gap: 1.5rem;
+  align-items: center;
+}
+
+nav ul {
+  list-style: none;
+  margin: 0;
+  padding: 0;
+  display: flex;
+  gap: 0.5rem;
+  flex-wrap: wrap;
+}
+
+nav ul li {
+  margin: 0;
+  padding: 0;
+}
+
+nav ul li a {
+  padding: 0.4rem 0.6rem;
+  border-radius: 8px;
+  background: #1a3e70;
+  color: #ffffff;
+  text-decoration: none;
+  font-weight: 500;
+  transition: background 0.4s;
+}
+
+nav ul li a:hover, nav ul li a:focus {
+  background: #00897b;
+}
+
+@media (max-width: 600px) {
+  header {
+    flex-direction: column;
+    align-items: flex-start;
+    gap: 1.5rem;
+  }
+  nav {
+    width: 100%;
+    justify-content: flex-start;
+    margin-top: 1.5rem;
+  }
+}
+
+main {
+  margin: 1.5rem 0;
+  padding: 1.5rem;
+}
+
+footer {
+  background: #1a1e29;
+  margin: 1.5rem;
+  padding: 1.5rem;
+  border-radius: 8px;
+  margin: 0 auto;
+  text-align: center;
+}
+
+footer p {
+  margin: 0;
+  font-size: 0.9rem;
+  color: #bfc9e6;
+  text-align: center;
+}
+
+section {
+  border-bottom: 3px solid #1a1e29;
+  margin: 2rem 0;
+  padding-bottom: 2rem;
+}
+
+#page-header {
+  border-bottom: 3px solid #1a1e29;
+  margin: 2rem 0;
+  padding-bottom: 2rem;
+  text-align: center;
+}
+
+#page-header h1 {
+  margin: 0;
+}
+
+#page-header .time {
+  font-size: 0.8rem;
+  color: #bfc9e6;
+}
+
+table#taxonomy-table {
+  width: 100%;
+  border-collapse: collapse;
+  box-sizing: border-box;
+  background: #1a1e29;
+  text-align: left;
+}
+
+table#taxonomy-table tr:nth-child(even) {
+  background: #161923;
+  transition: background 0.4s;
+}
+
+table#taxonomy-table tr:nth-child(odd) {
+  background: #202532;
+  transition: background 0.4s;
+}
+
+table#taxonomy-table tr:hover, table#taxonomy-table tr:focus {
+  background: #3a4054;
+}
+
+#taxonomy-table thead {
+  text-align: left;
+  border: none;
+  background: #0a0c11;
+  border-radius: 8px 8px 0 0;
+}
+
+#taxonomy-table th {
+  color: #ffffff;
+  padding: 0.6rem 0.6rem;
+  text-align: left;
+  font-weight: 600;
+  border: none;
+}
+
+#taxonomy-table td {
+  padding: 0.3rem 0.6rem;
+  text-align: left;
+  font-weight: 600;
+  border: none;
+}
+
+#taxonomy-table tr {
+  border-bottom: 3px solid #10131a;
+}
+
+#taxonomy-table tr:hover, #taxonomy-table tr:focus {
+  background: #8fc6ff;
+}
+
+#taxonomy-table a.term-link {
+  padding: 0.2rem 0.6rem;
+  margin: 0.2rem;
+  display: inline-block;
+  border-radius: 8px;
+  text-decoration: none;
+  font-weight: 500;
+  color: #ffffff;
+  transition: color 0.4s;
+}
+
+#taxonomy-table a.term-link:hover, #taxonomy-table a.term-link:focus {
+  color: #0a0c11;
+}
+
+#taxonomy-table a.taxonomy-name {
+  padding: 0;
+  margin: 0.2rem;
+  display: inline-block;
+  border-radius: 8px;
+  text-decoration: none;
+  font-weight: 500;
+  color: #ffffff;
+  transition: color 0.4s;
+}
+
+#taxonomy-table a.taxonomy-name:hover, #taxonomy-table a.taxonomy-name:focus {
+  color: #6fffd2;
+}
+
+#taxonomy-page a.term-link {
+  padding: 0.3rem 1.2rem;
+  margin: 0.2rem;
+  display: inline-block;
+  border-radius: 8px;
+  text-decoration: none;
+  font-weight: 500;
+  color: #ffffff;
+  transition: color 0.4s;
+  font-size: 1.2rem;
+}
+
+#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus {
+  color: #0a0c11;
+}
+
+/* _text.sass */
+#quick-links {
+  text-align: left;
+}
+
+#link-list {
+  display: flex;
+  gap: 1.5rem;
+  align-items: left;
+  margin: 1.5rem 0;
+}
+
+#link-list h2 {
+  flex: none;
+}
+
+#link-list ul {
+  list-style: none;
+  margin: 0;
+  padding: 0;
+  display: flex;
+  gap: 1rem;
+  flex-wrap: wrap;
+}
+
+#link-list ul li {
+  margin: 0;
+  padding: 0;
+}
+
+#link-list ul li a {
+  padding: 0.3rem 0.6rem;
+  border-radius: 8px;
+  background: #8fc6ff;
+  color: #0a0c11;
+  text-decoration: none;
+  font-weight: 500;
+  transition: background 0.4s;
+}
+
+#link-list ul li a:hover, #link-list ul li a:focus {
+  background: #6fffd2;
+}
+
+/*# sourceMappingURL=styles.css.map */

developers/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,16 +33,51 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
-  <h1>Developers</h1>
+  <h1>All Developers</h1>
+  
+  <section id="taxonomy-page">
   
   
-    <h2><a href="/developers/test-dev/">Test Dev</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="developers_test-dev" 
+    style="background:rgba(103,246,64,0.4)" 
+    href="/developers/test-dev">
+    Test Dev
+</a>
+
   
+  </section>
 
   </main>
   <footer>

developers/test-dev/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

domains/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,16 +33,51 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
-  <h1>Domains</h1>
+  <h1>All Domains</h1>
+  
+  <section id="taxonomy-page">
   
   
-    <h2><a href="/domains/tttt/">Tttt</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="domains_tttt" 
+    style="background:rgba(229,115,100,0.4)" 
+    href="/domains/tttt">
+    Tttt
+</a>
+
   
+  </section>
 
   </main>
   <footer>

domains/tttt/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

formalisms/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,16 +33,51 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
-  <h1>Formalisms</h1>
+  <h1>All Formalisms</h1>
+  
+  <section id="taxonomy-page">
   
   
-    <h2><a href="/formalisms/tttt/">Tttt</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="formalisms_tttt" 
+    style="background:rgba(229,115,100,0.4)" 
+    href="/formalisms/tttt">
+    Tttt
+</a>
+
   
+  </section>
 
   </main>
   <footer>

formalisms/tttt/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

index.html

@@ -24,7 +24,7 @@ pariatur do dolor ipsum enim. Consequat tempor do dolor eu. Non id id anim anim"
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -35,6 +35,22 @@ pariatur do dolor ipsum enim. Consequat tempor do dolor eu. Non id id anim anim"
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
@@ -45,9 +61,16 @@ pariatur do dolor ipsum enim. Consequat tempor do dolor eu. Non id id anim anim
 excepteur excepteur pariatur nostrud qui irure ullamco.</p>
 
   
-    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  <section>
-    <p>desc</p>
+    <h2>Featured Tools</h2>
-  
+    
+      <article>
+        <h3><a href="/tools/z3/">Z3 Theorem Prover</a></h3>
+            <p><p>desc</p>
+</p>
+      </article>
+    
+  </section>
 
   </main>
   <footer>

interactions/araafafanpoasi/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Araafafanpoasi | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Araafafanpoasi">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/araafafanpoasi/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/araafafanpoasi/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Araafafanpoasi</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/araafafanpoasi/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Araafafanpoasi on Formal Methods Tools</title>
+    <link>https://example.org/interactions/araafafanpoasi/</link>
+    <description>Recent content in Araafafanpoasi on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/araafafanpoasi/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/aranapoasi/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Aranapoasi | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Aranapoasi">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/aranapoasi/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/aranapoasi/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Aranapoasi</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/aranapoasi/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Aranapoasi on Formal Methods Tools</title>
+    <link>https://example.org/interactions/aranapoasi/</link>
+    <description>Recent content in Aranapoasi on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/aranapoasi/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/aranpoasadfsi/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Aranpoasadfsi | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Aranpoasadfsi">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/aranpoasadfsi/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/aranpoasadfsi/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Aranpoasadfsi</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/aranpoasadfsi/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Aranpoasadfsi on Formal Methods Tools</title>
+    <link>https://example.org/interactions/aranpoasadfsi/</link>
+    <description>Recent content in Aranpoasadfsi on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/aranpoasadfsi/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/aranpoasai/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Aranpoasai | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Aranpoasai">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/aranpoasai/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/aranpoasai/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Aranpoasai</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/aranpoasai/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Aranpoasai on Formal Methods Tools</title>
+    <link>https://example.org/interactions/aranpoasai/</link>
+    <description>Recent content in Aranpoasai on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/aranpoasai/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/aranpoasasdfasfasdfasdfi/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Aranpoasasdfasfasdfasdfi | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Aranpoasasdfasfasdfasdfi">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/aranpoasasdfasfasdfasdfi/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/aranpoasasdfasfasdfasdfi/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Aranpoasasdfasfasdfasdfi</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/aranpoasasdfasfasdfasdfi/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Aranpoasasdfasfasdfasdfi on Formal Methods Tools</title>
+    <link>https://example.org/interactions/aranpoasasdfasfasdfasdfi/</link>
+    <description>Recent content in Aranpoasasdfasfasdfasdfi on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/aranpoasasdfasfasdfasdfi/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/aranpoasi/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

interactions/aranpoaswei/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Aranpoaswei | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Aranpoaswei">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/aranpoaswei/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/aranpoaswei/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Aranpoaswei</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/aranpoaswei/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Aranpoaswei on Formal Methods Tools</title>
+    <link>https://example.org/interactions/aranpoaswei/</link>
+    <description>Recent content in Aranpoaswei on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/aranpoaswei/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/aranpoxasi/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Aranpoxasi | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Aranpoxasi">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/aranpoxasi/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/aranpoxasi/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Aranpoxasi</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/aranpoxasi/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Aranpoxasi on Formal Methods Tools</title>
+    <link>https://example.org/interactions/aranpoxasi/</link>
+    <description>Recent content in Aranpoxasi on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/aranpoxasi/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/aranpsoasi/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Aranpsoasi | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Aranpsoasi">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/aranpsoasi/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/aranpsoasi/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Aranpsoasi</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/aranpsoasi/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Aranpsoasi on Formal Methods Tools</title>
+    <link>https://example.org/interactions/aranpsoasi/</link>
+    <description>Recent content in Aranpsoasi on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/aranpsoasi/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/aransdpoasi/index.html

@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>Aransdpoasi | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="Aransdpoasi">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/interactions/aransdpoasi/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/interactions/aransdpoasi/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>Aransdpoasi</h1>
+  
+  
+    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+  
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

interactions/aransdpoasi/index.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>Aransdpoasi on Formal Methods Tools</title>
+    <link>https://example.org/interactions/aransdpoasi/</link>
+    <description>Recent content in Aransdpoasi on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
+    <atom:link href="https://example.org/interactions/aransdpoasi/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Z3 Theorem Prover</title>
+      <link>https://example.org/tools/z3/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/tools/z3/</guid>
+      <description>&lt;p&gt;desc&lt;/p&gt;</description>
+    </item>
+  </channel>
+</rss>

interactions/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,18 +33,231 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
-  <h1>Interactions</h1>
+  <h1>All Interactions</h1>
+  
+  <section id="taxonomy-page">
   
   
-    <h2><a href="/interactions/aranpoasi/">Aranpoasi</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_araafafanpoasi" 
+    style="background:rgba(41,113,12,0.4)" 
+    href="/interactions/araafafanpoasi">
+    Araafafanpoasi
+</a>
+
   
-    <h2><a href="/interactions/lorem-ipsum/">Lorem Ipsum</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranapoasi" 
+    style="background:rgba(197,104,26,0.4)" 
+    href="/interactions/aranapoasi">
+    Aranapoasi
+</a>
+
   
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasadfsi" 
+    style="background:rgba(216,112,108,0.4)" 
+    href="/interactions/aranpoasadfsi">
+    Aranpoasadfsi
+</a>
+
+  
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasai" 
+    style="background:rgba(131,31,234,0.4)" 
+    href="/interactions/aranpoasai">
+    Aranpoasai
+</a>
+
+  
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasasdfasfasdfasdfi" 
+    style="background:rgba(237,71,214,0.4)" 
+    href="/interactions/aranpoasasdfasfasdfasdfi">
+    Aranpoasasdfasfasdfasdfi
+</a>
+
+  
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasi" 
+    style="background:rgba(44,147,98,0.4)" 
+    href="/interactions/aranpoasi">
+    Aranpoasi
+</a>
+
+  
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoaswei" 
+    style="background:rgba(193,42,7,0.4)" 
+    href="/interactions/aranpoaswei">
+    Aranpoaswei
+</a>
+
+  
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoxasi" 
+    style="background:rgba(215,16,49,0.4)" 
+    href="/interactions/aranpoxasi">
+    Aranpoxasi
+</a>
+
+  
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpsoasi" 
+    style="background:rgba(18,156,157,0.4)" 
+    href="/interactions/aranpsoasi">
+    Aranpsoasi
+</a>
+
+  
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aransdpoasi" 
+    style="background:rgba(169,198,121,0.4)" 
+    href="/interactions/aransdpoasi">
+    Aransdpoasi
+</a>
+
+  
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_lorem-ipsum" 
+    style="background:rgba(109,189,1,0.4)" 
+    href="/interactions/lorem-ipsum">
+    Lorem Ipsum
+</a>
+
+  
+  </section>
 
   </main>
   <footer>

interactions/index.xml

@@ -8,6 +8,41 @@
     <language>en-us</language>
     <lastBuildDate>Fri, 02 Feb 2024 04:14:54 -0800</lastBuildDate>
     <atom:link href="https://example.org/interactions/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Araafafanpoasi</title>
+      <link>https://example.org/interactions/araafafanpoasi/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/araafafanpoasi/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>Aranapoasi</title>
+      <link>https://example.org/interactions/aranapoasi/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/aranapoasi/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>Aranpoasadfsi</title>
+      <link>https://example.org/interactions/aranpoasadfsi/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/aranpoasadfsi/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>Aranpoasai</title>
+      <link>https://example.org/interactions/aranpoasai/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/aranpoasai/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>Aranpoasasdfasfasdfasdfi</title>
+      <link>https://example.org/interactions/aranpoasasdfasfasdfasdfi/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/aranpoasasdfasfasdfasdfi/</guid>
+      <description></description>
+    </item>
     <item>
       <title>Aranpoasi</title>
       <link>https://example.org/interactions/aranpoasi/</link>
@@ -15,6 +50,34 @@
       <guid>https://example.org/interactions/aranpoasi/</guid>
       <description></description>
     </item>
+    <item>
+      <title>Aranpoaswei</title>
+      <link>https://example.org/interactions/aranpoaswei/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/aranpoaswei/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>Aranpoxasi</title>
+      <link>https://example.org/interactions/aranpoxasi/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/aranpoxasi/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>Aranpsoasi</title>
+      <link>https://example.org/interactions/aranpsoasi/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/aranpsoasi/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>Aransdpoasi</title>
+      <link>https://example.org/interactions/aransdpoasi/</link>
+      <pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
+      <guid>https://example.org/interactions/aransdpoasi/</guid>
+      <description></description>
+    </item>
     <item>
       <title>Lorem Ipsum</title>
       <link>https://example.org/interactions/lorem-ipsum/</link>

interactions/lorem-ipsum/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

languages/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,16 +33,51 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
-  <h1>Languages</h1>
+  <h1>All Languages</h1>
+  
+  <section id="taxonomy-page">
   
   
-    <h2><a href="/languages/tttt/">Tttt</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="languages_tttt" 
+    style="background:rgba(229,115,100,0.4)" 
+    href="/languages/tttt">
+    Tttt
+</a>
+
   
+  </section>
 
   </main>
   <footer>

languages/tttt/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

purposes/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,16 +33,51 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
-  <h1>Purposes</h1>
+  <h1>All Purposes</h1>
+  
+  <section id="taxonomy-page">
   
   
-    <h2><a href="/purposes/test/">Test</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="purposes_test" 
+    style="background:rgba(12,188,102,0.4)" 
+    href="/purposes/test">
+    Test
+</a>
+
   
+  </section>
 
   </main>
   <footer>

purposes/test/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

sitemap.xml

@@ -7,9 +7,36 @@
   </url><url>
     <loc>https://example.org/techniques/aaa/</loc>
     <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/araafafanpoasi/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/aranapoasi/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/aranpoasadfsi/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/aranpoasai/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/aranpoasasdfasfasdfasdfi/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
   </url><url>
     <loc>https://example.org/interactions/aranpoasi/</loc>
     <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/aranpoaswei/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/aranpoxasi/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/aranpsoasi/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
+  </url><url>
+    <loc>https://example.org/interactions/aransdpoasi/</loc>
+    <lastmod>2024-02-02T04:14:54-08:00</lastmod>
   </url><url>
     <loc>https://example.org/developers/</loc>
     <lastmod>2024-02-02T04:14:54-08:00</lastmod>
@@ -61,5 +88,7 @@
   </url><url>
     <loc>https://example.org/</loc>
     <lastmod>2023-01-01T08:00:00-07:00</lastmod>
+  </url><url>
+    <loc>https://example.org/taxonomies/</loc>
   </url>
 </urlset>

systems/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,16 +33,51 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
-  <h1>Systems</h1>
+  <h1>All Systems</h1>
+  
+  <section id="taxonomy-page">
   
   
-    <h2><a href="/systems/tttt/">Tttt</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="systems_tttt" 
+    style="background:rgba(229,115,100,0.4)" 
+    href="/systems/tttt">
+    Tttt
+</a>
+
   
+  </section>
 
   </main>
   <footer>

systems/tttt/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

taxonomies/index.html

@@ -0,0 +1,503 @@
+<!DOCTYPE html>
+<html lang="en-us" dir="ltr">
+<head>
+  <meta charset="utf-8">
+
+<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
+<meta http-equiv="X-UA-Compatible" content="IE=edge">
+<title>All Taxonomy Data | Formal Methods Tools</title>
+
+
+<meta name="keywords" content="Formal Methods Tools">
+<meta property="og:locale" content='en_US'>
+<meta property="og:type" content="article">
+<meta property="og:title" content="All Taxonomy Data">
+<meta property="og:description" content="">
+<meta property="og:url" content="https://example.org/taxonomies/">
+<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
+<link rel="canonical" href="https://example.org/taxonomies/">
+
+<link rel="apple-touch-icon" sizes="180x180" href='https://example.org/apple-touch-icon.png'>
+<link rel="icon" type="image/png" sizes="32x32" href='https://example.org/favicon-32x32.png'>
+<link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
+<link rel="manifest" href='https://example.org/site.webmanifest'>
+
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
+
+
+
+
+
+</head>
+<body>
+  <header>
+    <h1><a href="/">Formal Methods Tools</a></h1>
+
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
+
+
+  </header>
+  <main>
+    
+  <h1>All Taxonomy Data</h1>
+  
+
+  <section>
+    <table id="taxonomy-table">
+      
+      <tbody>
+        
+        
+        <tr>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/developers">
+              Developers
+            </a>
+          </td>
+          <td>
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="developers_test-dev" 
+    style="background:rgba(227,126,78,0.4)" 
+    href="/developers/test-dev">
+    test dev
+</a>
+
+            
+          </td>
+        </tr>
+        
+        
+        
+        <tr>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/domains">
+              Domains
+            </a>
+          </td>
+          <td>
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="domains_tttt" 
+    style="background:rgba(50,191,14,0.4)" 
+    href="/domains/tttt">
+    tttt
+</a>
+
+            
+          </td>
+        </tr>
+        
+        
+        
+        <tr>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/formalisms">
+              Formalisms
+            </a>
+          </td>
+          <td>
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="formalisms_tttt" 
+    style="background:rgba(50,191,14,0.4)" 
+    href="/formalisms/tttt">
+    tttt
+</a>
+
+            
+          </td>
+        </tr>
+        
+        
+        
+        <tr>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/interactions">
+              Interactions
+            </a>
+          </td>
+          <td>
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_araafafanpoasi" 
+    style="background:rgba(163,241,74,0.4)" 
+    href="/interactions/araafafanpoasi">
+    araafafanpoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranapoasi" 
+    style="background:rgba(231,137,226,0.4)" 
+    href="/interactions/aranapoasi">
+    aranapoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasadfsi" 
+    style="background:rgba(120,152,6,0.4)" 
+    href="/interactions/aranpoasadfsi">
+    aranpoasadfsi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasai" 
+    style="background:rgba(191,101,129,0.4)" 
+    href="/interactions/aranpoasai">
+    aranpoasai
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasasdfasfasdfasdfi" 
+    style="background:rgba(24,167,157,0.4)" 
+    href="/interactions/aranpoasasdfasfasdfasdfi">
+    aranpoasasdfasfasdfasdfi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasi" 
+    style="background:rgba(231,148,58,0.4)" 
+    href="/interactions/aranpoasi">
+    aranpoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoaswei" 
+    style="background:rgba(168,2,75,0.4)" 
+    href="/interactions/aranpoaswei">
+    aranpoaswei
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoxasi" 
+    style="background:rgba(177,100,115,0.4)" 
+    href="/interactions/aranpoxasi">
+    aranpoxasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpsoasi" 
+    style="background:rgba(70,8,69,0.4)" 
+    href="/interactions/aranpsoasi">
+    aranpsoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aransdpoasi" 
+    style="background:rgba(171,171,42,0.4)" 
+    href="/interactions/aransdpoasi">
+    aransdpoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_lorem-ipsum" 
+    style="background:rgba(128,167,81,0.4)" 
+    href="/interactions/lorem-ipsum">
+    lorem ipsum
+</a>
+
+            
+          </td>
+        </tr>
+        
+        
+        
+        <tr>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/languages">
+              Languages
+            </a>
+          </td>
+          <td>
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="languages_tttt" 
+    style="background:rgba(50,191,14,0.4)" 
+    href="/languages/tttt">
+    tttt
+</a>
+
+            
+          </td>
+        </tr>
+        
+        
+        
+        <tr>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/purposes">
+              Purposes
+            </a>
+          </td>
+          <td>
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="purposes_test" 
+    style="background:rgba(9,143,107,0.4)" 
+    href="/purposes/test">
+    test
+</a>
+
+            
+          </td>
+        </tr>
+        
+        
+        
+        <tr>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/systems">
+              Systems
+            </a>
+          </td>
+          <td>
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="systems_tttt" 
+    style="background:rgba(50,191,14,0.4)" 
+    href="/systems/tttt">
+    tttt
+</a>
+
+            
+          </td>
+        </tr>
+        
+        
+        
+        <tr>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/techniques">
+              Techniques
+            </a>
+          </td>
+          <td>
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="techniques_aaa" 
+    style="background:rgba(71,188,229,0.4)" 
+    href="/techniques/aaa">
+    aaa
+</a>
+
+            
+          </td>
+        </tr>
+        
+        
+      </tbody>
+    </table>
+  </section>
+
+
+
+  </main>
+  <footer>
+    <p>Copyright 2025. All rights reserved.</p>
+
+  </footer>
+</body>
+</html>

taxonomies/index.xml

@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>All Taxonomy Data on Formal Methods Tools</title>
+    <link>https://example.org/taxonomies/</link>
+    <description>Recent content in All Taxonomy Data on Formal Methods Tools</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <atom:link href="https://example.org/taxonomies/index.xml" rel="self" type="application/rss+xml" />
+  </channel>
+</rss>

techniques/aaa/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>

techniques/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,16 +33,51 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
-  <h1>Techniques</h1>
+  <h1>All Techniques</h1>
+  
+  <section id="taxonomy-page">
   
   
-    <h2><a href="/techniques/aaa/">Aaa</a></h2>
+    
+    
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="techniques_aaa" 
+    style="background:rgba(228,172,206,0.4)" 
+    href="/techniques/aaa">
+    Aaa
+</a>
+
   
+  </section>
 
   </main>
   <footer>

tools/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,6 +33,22 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
@@ -40,10 +56,15 @@
     
   <h1>Tools</h1>
   
-  
+  <section>
-    <h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
+    
-    <p>desc</p>
+      <article>
-  
+        <h3><a href="/tools/z3/">Z3 Theorem Prover</a></h3>
+            <p><p>desc</p>
+</p>
+      </article>
+    
+  </section>
 
   </main>
   <footer>

tools/z3/index.html

@@ -22,7 +22,7 @@
 <link rel="icon" type="image/png" sizes='16x16' href='https://example.org/favicon-16x16.png'>
 <link rel="manifest" href='https://example.org/site.webmanifest'>
 
-<link rel="stylesheet" href="https://example.org/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
+<link rel="stylesheet" href="https://example.org/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css" integrity="sha512-/Hz2U4i&#43;B/LlMpMTLdAiDjTZhh9X3kszbWTdA6NQKpvvvqBWBkQtClAQBUQoNahkNhuaUbS1GsvyjfN1MPYfMQ==">
 
 
 
@@ -33,50 +33,68 @@
   <header>
     <h1><a href="/">Formal Methods Tools</a></h1>
 
+  <nav>
+    <ul>
+    <li>
+      <a href="/">Home</a>
+    </li>
+    <li>
+      <a href="/tools/">Tools</a>
+    </li>
+    <li>
+      <a href="/taxonomies/">Taxonomies</a>
+    </li>
+    <li>
+      <a href="/about/">About</a>
+    </li>
+    </ul>
+  </nav>
 
 
   </header>
   <main>
     
+
+  <div id="page-header">
   <h1>Z3 Theorem Prover</h1>
 
   
   
-  Updated <time datetime="2024-02-02T04:14:54-08:00">February 2, 2024</time>
+  <span class="time">Updated <time datetime="2024-02-02T04:14:54-08:00">February 2, 2024</time></span>
+
+  </div>
 
   
-  <section>
+  <section id="quick-links">
-    <h2>Links</h2>
+    <h2>Quick Links</h2>
-    <ul>
+    <div id="link-list">
-      
+      <ul>
-        <li><a href="https://github.com/Z3Prover/z3" target="_blank" rel="noopener">website</a></li>
+        
-      
+          <li><a href="https://github.com/Z3Prover/z3" target="_blank" rel="noopener">website</a></li>
-        <li><a href="https://github.com/Z3Prover/z3" target="_blank" rel="noopener">code</a></li>
+        
-      
+          <li><a href="https://github.com/Z3Prover/z3" target="_blank" rel="noopener">code</a></li>
-        <li><a href="https://rise4fun.com/z3" target="_blank" rel="noopener">playground</a></li>
+        
-      
+          <li><a href="https://rise4fun.com/z3" target="_blank" rel="noopener">playground</a></li>
-    </ul>
+        
+      </ul>
+    </div>
   </section>
   
 
-  
+  <section id="taxonomies">
-
-  
-
-  <section>
     <h2>At a Glance</h2>
-    <table id="taxonomies">
+    <table id="taxonomy-table">
-      <thead>
-        <tr>
-          <th>Taxonomy</th>
-          <th>Terms</th>
-        </tr>
-      </thead>
       <tbody>
         
         
         <tr>
-          <th>Developers</th>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/developers">
+              Developers
+            </a>
+            </td>
           <td>
             
               
@@ -88,6 +106,7 @@
 
 
 <a 
+    class="term-link"
     id="developers_test-dev" 
     style="background:rgba(227,126,78,0.4)" 
     href="/developers/test-dev">
@@ -101,7 +120,13 @@
         
         
         <tr>
-          <th>Domains</th>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/domains">
+              Domains
+            </a>
+            </td>
           <td>
             
               
@@ -113,6 +138,7 @@
 
 
 <a 
+    class="term-link"
     id="domains_tttt" 
     style="background:rgba(50,191,14,0.4)" 
     href="/domains/tttt">
@@ -126,7 +152,13 @@
         
         
         <tr>
-          <th>Formalisms</th>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/formalisms">
+              Formalisms
+            </a>
+            </td>
           <td>
             
               
@@ -138,6 +170,7 @@
 
 
 <a 
+    class="term-link"
     id="formalisms_tttt" 
     style="background:rgba(50,191,14,0.4)" 
     href="/formalisms/tttt">
@@ -151,7 +184,13 @@
         
         
         <tr>
-          <th>Interactions</th>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/interactions">
+              Interactions
+            </a>
+            </td>
           <td>
             
               
@@ -163,6 +202,92 @@
 
 
 <a 
+    class="term-link"
+    id="interactions_araafafanpoasi" 
+    style="background:rgba(163,241,74,0.4)" 
+    href="/interactions/araafafanpoasi">
+    araafafanpoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranapoasi" 
+    style="background:rgba(231,137,226,0.4)" 
+    href="/interactions/aranapoasi">
+    aranapoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasadfsi" 
+    style="background:rgba(120,152,6,0.4)" 
+    href="/interactions/aranpoasadfsi">
+    aranpoasadfsi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasai" 
+    style="background:rgba(191,101,129,0.4)" 
+    href="/interactions/aranpoasai">
+    aranpoasai
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoasasdfasfasdfasdfi" 
+    style="background:rgba(24,167,157,0.4)" 
+    href="/interactions/aranpoasasdfasfasdfasdfi">
+    aranpoasasdfasfasdfasdfi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
     id="interactions_aranpoasi" 
     style="background:rgba(231,148,58,0.4)" 
     href="/interactions/aranpoasi">
@@ -179,6 +304,75 @@
 
 
 <a 
+    class="term-link"
+    id="interactions_aranpoaswei" 
+    style="background:rgba(168,2,75,0.4)" 
+    href="/interactions/aranpoaswei">
+    aranpoaswei
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpoxasi" 
+    style="background:rgba(177,100,115,0.4)" 
+    href="/interactions/aranpoxasi">
+    aranpoxasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aranpsoasi" 
+    style="background:rgba(70,8,69,0.4)" 
+    href="/interactions/aranpsoasi">
+    aranpsoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
+    id="interactions_aransdpoasi" 
+    style="background:rgba(171,171,42,0.4)" 
+    href="/interactions/aransdpoasi">
+    aransdpoasi
+</a>
+
+            
+              
+
+
+
+
+
+
+
+<a 
+    class="term-link"
     id="interactions_lorem-ipsum" 
     style="background:rgba(128,167,81,0.4)" 
     href="/interactions/lorem-ipsum">
@@ -192,7 +386,13 @@
         
         
         <tr>
-          <th>Languages</th>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/languages">
+              Languages
+            </a>
+            </td>
           <td>
             
               
@@ -204,6 +404,7 @@
 
 
 <a 
+    class="term-link"
     id="languages_tttt" 
     style="background:rgba(50,191,14,0.4)" 
     href="/languages/tttt">
@@ -217,7 +418,13 @@
         
         
         <tr>
-          <th>Purposes</th>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/purposes">
+              Purposes
+            </a>
+            </td>
           <td>
             
               
@@ -229,6 +436,7 @@
 
 
 <a 
+    class="term-link"
     id="purposes_test" 
     style="background:rgba(9,143,107,0.4)" 
     href="/purposes/test">
@@ -242,7 +450,13 @@
         
         
         <tr>
-          <th>Systems</th>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/systems">
+              Systems
+            </a>
+            </td>
           <td>
             
               
@@ -254,6 +468,7 @@
 
 
 <a 
+    class="term-link"
     id="systems_tttt" 
     style="background:rgba(50,191,14,0.4)" 
     href="/systems/tttt">
@@ -267,7 +482,13 @@
         
         
         <tr>
-          <th>Techniques</th>
+          <td>
+            <a 
+              class="taxonomy-name" 
+              href="/techniques">
+              Techniques
+            </a>
+            </td>
           <td>
             
               
@@ -279,6 +500,7 @@
 
 
 <a 
+    class="term-link"
     id="techniques_aaa" 
     style="background:rgba(71,188,229,0.4)" 
     href="/techniques/aaa">