fmtools/public
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Build minimal demo site

Browse Source
This commit is contained in:
Landon Taylor 2025-06-05 21:51:33 -06:00
parent 36cf0cfa92
commit cddd4b116c
84 changed files with 2086 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
LICENSE Normal file
View File

@ -0,0 +1,9 @@
MIT License
Copyright (c) 2025 FM
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

0
README.md
View File

15
css/styles.css.map Normal file
View File

@ -0,0 +1,15 @@
{
"version": 3,
"file": "styles.css",
"sourceRoot": "/home/landon/gitea/fmtools",
"sources": [
"themes/fmtools/assets/sass/main.sass",
"themes/fmtools/assets/sass/_fonts.sass"
],
"sourcesContent": [
"@import \"fonts\";\n* {\n color: white;\n background: black; }\n",
"$font-path: '/fonts/static/';\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 100;\n src: local('Source Sans 3 ExtraLight'), local('SourceSans3-ExtraLight'), url('#{$font-path}SourceSans3-ExtraLight.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraLight.ttf') format('truetype'); }\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 200;\n src: local('Source Sans 3 ExtraLight'), local('SourceSans3-ExtraLight'), url('#{$font-path}SourceSans3-ExtraLight.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraLight.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 300;\n src: local('Source Sans 3 Light'), local('SourceSans3-Light'), url('#{$font-path}SourceSans3-Light.woff2') format('woff2'), url('#{$font-path}SourceSans3-Light.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 400;\n src: local('Source Sans 3 Regular'), local('SourceSans3-Regular'), url('#{$font-path}SourceSans3-Regular.woff2') format('woff2'), url('#{$font-path}SourceSans3-Regular.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: italic;\n font-display: swap;\n font-weight: 400;\n src: local('Source Sans 3 Italic'), local('SourceSans3-Italic'), url('#{$font-path}SourceSans3-Italic.woff2') format('woff2'), url('#{$font-path}SourceSans3-Italic.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 500;\n src: local('Source Sans 3 Medium'), local('SourceSans3-Medium'), url('#{$font-path}SourceSans3-Medium.woff2') format('woff2'), url('#{$font-path}SourceSans3-Medium.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 600;\n src: local('Source Sans 3 SemiBold'), local('SourceSans3-SemiBold'), url('#{$font-path}SourceSans3-SemiBold.woff2') format('woff2'), url('#{$font-path}SourceSans3-SemiBold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 700;\n src: local('Source Sans 3 Bold'), local('SourceSans3-Bold'), url('#{$font-path}SourceSans3-Bold.woff2') format('woff2'), url('#{$font-path}SourceSans3-Bold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: italic;\n font-display: swap;\n font-weight: 700;\n src: local('Source Sans 3 Bold Italic'), local('SourceSans3-BoldItalic'), url('#{$font-path}SourceSans3-BoldItalic.woff2') format('woff2'), url('#{$font-path}SourceSans3-BoldItalic.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 800;\n src: local('Source Sans 3 ExtraBold'), local('SourceSans3-ExtraBold'), url('#{$font-path}SourceSans3-ExtraBold.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraBold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 900;\n src: local('Source Sans 3 Black'), local('SourceSans3-Black'), url('#{$font-path}SourceSans3-Black.woff2') format('woff2'), url('#{$font-path}SourceSans3-Black.ttf') format('truetype'); }\n\n\n* {\n font-family: 'Source Sans 3', sans-serif; }\n"
],
"names": [],
"mappings": "ACEA,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,iCAAiC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AACpO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,iCAAiC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AAEpO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,4CAAqD,CAAC,eAAe,EAAE,0CAAmD,CAAC,kBAAkB;;;AAEhN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,8BAA8B,EAAE,4BAA4B,EAAE,8CAAuD,CAAC,eAAe,EAAE,4CAAqD,CAAC,kBAAkB;;;AAExN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,6CAAsD,CAAC,eAAe,EAAE,2CAAoD,CAAC,kBAAkB;;;AAEpN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,6CAAsD,CAAC,eAAe,EAAE,2CAAoD,CAAC,kBAAkB;;;AAEpN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,+BAA+B,EAAE,6BAA6B,EAAE,+CAAwD,CAAC,eAAe,EAAE,6CAAsD,CAAC,kBAAkB;;;AAE5N,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,2BAA2B,EAAE,yBAAyB,EAAE,2CAAoD,CAAC,eAAe,EAAE,yCAAkD,CAAC,kBAAkB;;;AAE5M,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,kCAAkC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AAErO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,gCAAgC,EAAE,8BAA8B,EAAE,gDAAyD,CAAC,eAAe,EAAE,8CAAuD,CAAC,kBAAkB;;;AAEhO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,4CAAqD,CAAC,eAAe,EAAE,0CAAmD,CAAC,kBAAkB;;;AAGhN,AAAA,CAAC,CAAC;EACE,WAAW,EAAE,2BAA2B;CAAG;;AD/E/C,AAAA,CAAC,CAAC;EACE,KAAK,EAAE,KAAK;EACZ,UAAU,EAAE,KAAK;CAAG"
}

98
css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css Normal file
View File

@ -0,0 +1,98 @@
@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 */

53
developers/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Developers | 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="Developers">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/developers/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/developers/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Developers</h1>
<h2><a href="/developers/test-dev/">Test Dev</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
developers/index.xml Normal file
View File

@ -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>Developers on Formal Methods Tools</title>
<link>https://example.org/developers/</link>
<description>Recent content in Developers 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/developers/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>Test Dev</title>
<link>https://example.org/developers/test-dev/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/developers/test-dev/</guid>
<description></description>
</item>
</channel>
</rss>

53
developers/test-dev/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Test Dev | 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="Test Dev">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/developers/test-dev/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/developers/test-dev/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Test Dev</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
developers/test-dev/index.xml Normal file
View File

@ -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>Test Dev on Formal Methods Tools</title>
<link>https://example.org/developers/test-dev/</link>
<description>Recent content in Test Dev 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/developers/test-dev/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>

53
domains/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Domains | 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="Domains">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/domains/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/domains/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Domains</h1>
<h2><a href="/domains/tttt/">Tttt</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
domains/index.xml Normal file
View File

@ -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>Domains on Formal Methods Tools</title>
<link>https://example.org/domains/</link>
<description>Recent content in Domains 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/domains/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>Tttt</title>
<link>https://example.org/domains/tttt/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/domains/tttt/</guid>
<description></description>
</item>
</channel>
</rss>

53
domains/tttt/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Tttt | 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="Tttt">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/domains/tttt/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/domains/tttt/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Tttt</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
domains/tttt/index.xml Normal file
View File

@ -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>Tttt on Formal Methods Tools</title>
<link>https://example.org/domains/tttt/</link>
<description>Recent content in Tttt 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/domains/tttt/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>

BIN
favicon.ico Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 15 KiB

93
fonts/OFL.txt Normal file
View File

@ -0,0 +1,93 @@
Copyright 2010-2020 Adobe (http://www.adobe.com/), with Reserved Font Name 'Source'. All Rights Reserved. Source is a trademark of Adobe in the United States and/or other countries.
This Font Software is licensed under the SIL Open Font License, Version 1.1.
This license is copied below, and is also available with a FAQ at:
https://openfontlicense.org
-----------------------------------------------------------
SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
-----------------------------------------------------------
PREAMBLE
The goals of the Open Font License (OFL) are to stimulate worldwide
development of collaborative font projects, to support the font creation
efforts of academic and linguistic communities, and to provide a free and
open framework in which fonts may be shared and improved in partnership
with others.
The OFL allows the licensed fonts to be used, studied, modified and
redistributed freely as long as they are not sold by themselves. The
fonts, including any derivative works, can be bundled, embedded,
redistributed and/or sold with any software provided that any reserved
names are not used by derivative works. The fonts and derivatives,
however, cannot be released under any other type of license. The
requirement for fonts to remain under this license does not apply
to any document created using the fonts or their derivatives.
DEFINITIONS
"Font Software" refers to the set of files released by the Copyright
Holder(s) under this license and clearly marked as such. This may
include source files, build scripts and documentation.
"Reserved Font Name" refers to any names specified as such after the
copyright statement(s).
"Original Version" refers to the collection of Font Software components as
distributed by the Copyright Holder(s).
"Modified Version" refers to any derivative made by adding to, deleting,
or substituting -- in part or in whole -- any of the components of the
Original Version, by changing formats or by porting the Font Software to a
new environment.
"Author" refers to any designer, engineer, programmer, technical
writer or other person who contributed to the Font Software.
PERMISSION & CONDITIONS
Permission is hereby granted, free of charge, to any person obtaining
a copy of the Font Software, to use, study, copy, merge, embed, modify,
redistribute, and sell modified and unmodified copies of the Font
Software, subject to the following conditions:
1) Neither the Font Software nor any of its individual components,
in Original or Modified Versions, may be sold by itself.
2) Original or Modified Versions of the Font Software may be bundled,
redistributed and/or sold with any software, provided that each copy
contains the above copyright notice and this license. These can be
included either as stand-alone text files, human-readable headers or
in the appropriate machine-readable metadata fields within text or
binary files as long as those fields can be easily viewed by the user.
3) No Modified Version of the Font Software may use the Reserved Font
Name(s) unless explicit written permission is granted by the corresponding
Copyright Holder. This restriction only applies to the primary font name as
presented to the users.
4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font
Software shall not be used to promote, endorse or advertise any
Modified Version, except to acknowledge the contribution(s) of the
Copyright Holder(s) and the Author(s) or with their explicit written
permission.
5) The Font Software, modified or unmodified, in part or in whole,
must be distributed entirely under this license, and must not be
distributed under any other license. The requirement for fonts to
remain under this license does not apply to any document created
using the Font Software.
TERMINATION
This license becomes null and void if any of the above conditions are
not met.
DISCLAIMER
THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE
COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL
DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM
OTHER DEALINGS IN THE FONT SOFTWARE.

79
fonts/README.txt Normal file
View File

@ -0,0 +1,79 @@
Source Sans 3 Variable Font
===========================
This download contains Source Sans 3 as both variable fonts and static fonts.
Source Sans 3 is a variable font with this axis:
wght
This means all the styles are contained in these files:
SourceSans3-VariableFont_wght.ttf
SourceSans3-Italic-VariableFont_wght.ttf
If your app fully supports variable fonts, you can now pick intermediate styles
that aren’t available as static fonts. Not all apps support variable fonts, and
in those cases you can use the static font files for Source Sans 3:
static/SourceSans3-ExtraLight.ttf
static/SourceSans3-Light.ttf
static/SourceSans3-Regular.ttf
static/SourceSans3-Medium.ttf
static/SourceSans3-SemiBold.ttf
static/SourceSans3-Bold.ttf
static/SourceSans3-ExtraBold.ttf
static/SourceSans3-Black.ttf
static/SourceSans3-ExtraLightItalic.ttf
static/SourceSans3-LightItalic.ttf
static/SourceSans3-Italic.ttf
static/SourceSans3-MediumItalic.ttf
static/SourceSans3-SemiBoldItalic.ttf
static/SourceSans3-BoldItalic.ttf
static/SourceSans3-ExtraBoldItalic.ttf
static/SourceSans3-BlackItalic.ttf
Get started
-----------
1. Install the font files you want to use
2. Use your app's font picker to view the font family and all the
available styles
Learn more about variable fonts
-------------------------------
https://developers.google.com/web/fundamentals/design-and-ux/typography/variable-fonts
https://variablefonts.typenetwork.com
https://medium.com/variable-fonts
In desktop apps
https://theblog.adobe.com/can-variable-fonts-illustrator-cc
https://helpx.adobe.com/nz/photoshop/using/fonts.html#variable_fonts
Online
https://developers.google.com/fonts/docs/getting_started
https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Fonts/Variable_Fonts_Guide
https://developer.microsoft.com/en-us/microsoft-edge/testdrive/demos/variable-fonts
Installing fonts
MacOS: https://support.apple.com/en-us/HT201749
Linux: https://www.google.com/search?q=how+to+install+a+font+on+gnu%2Blinux
Windows: https://support.microsoft.com/en-us/help/314960/how-to-install-or-remove-a-font-in-windows
Android Apps
https://developers.google.com/fonts/docs/android
https://developer.android.com/guide/topics/ui/look-and-feel/downloadable-fonts
License
-------
Please read the full license text (OFL.txt) to understand the permissions,
restrictions and requirements for usage, redistribution, and modification.
You can use them in your products & projects – print or digital,
commercial or otherwise.
This isn't legal advice, please consider consulting a lawyer and see the full
license for all details.

BIN
fonts/SourceSans3-Italic-VariableFont_wght.ttf Normal file
View File

Binary file not shown.

BIN
fonts/SourceSans3-Italic-VariableFont_wght.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/SourceSans3-VariableFont_wght.ttf Normal file
View File

Binary file not shown.

BIN
fonts/SourceSans3-VariableFont_wght.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Black.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Black.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-BlackItalic.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-BlackItalic.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Bold.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Bold.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-BoldItalic.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-BoldItalic.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-ExtraBold.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-ExtraBold.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-ExtraBoldItalic.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-ExtraBoldItalic.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-ExtraLight.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-ExtraLight.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-ExtraLightItalic.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-ExtraLightItalic.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Italic.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Italic.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Light.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Light.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-LightItalic.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-LightItalic.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Medium.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Medium.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-MediumItalic.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-MediumItalic.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Regular.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-Regular.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-SemiBold.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-SemiBold.woff2 Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-SemiBoldItalic.ttf Normal file
View File

Binary file not shown.

BIN
fonts/static/SourceSans3-SemiBoldItalic.woff2 Normal file
View File

Binary file not shown.

8
fonts/static/woff2.sh Executable file
View File

@ -0,0 +1,8 @@
#!/bin/bash
# Compress all font files in the current directory using woff2_compress
for font in *.ttf *.otf; do
if [[ -f "$font" ]]; then
woff2_compress "$font"
fi
done

53
formalisms/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Formalisms | 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="Formalisms">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/formalisms/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/formalisms/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Formalisms</h1>
<h2><a href="/formalisms/tttt/">Tttt</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
formalisms/index.xml Normal file
View File

@ -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>Formalisms on Formal Methods Tools</title>
<link>https://example.org/formalisms/</link>
<description>Recent content in Formalisms 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/formalisms/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>Tttt</title>
<link>https://example.org/formalisms/tttt/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/formalisms/tttt/</guid>
<description></description>
</item>
</channel>
</rss>

53
formalisms/tttt/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Tttt | 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="Tttt">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/formalisms/tttt/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/formalisms/tttt/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Tttt</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
formalisms/tttt/index.xml Normal file
View File

@ -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>Tttt on Formal Methods Tools</title>
<link>https://example.org/formalisms/tttt/</link>
<description>Recent content in Tttt 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/formalisms/tttt/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>

58
index.html Normal file
View File

@ -0,0 +1,58 @@
<!DOCTYPE html>
<html lang="en-us" dir="ltr">
<head>
<meta name="generator" content="Hugo 0.147.7">
<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>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="Home">
<meta property="og:description" content="Laborum voluptate pariatur ex culpa magna nostrud est incididunt fugiat
pariatur do dolor ipsum enim. Consequat tempor do dolor eu. Non id id anim anim">
<meta property="og:url" content="https://example.org/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<p>Laborum voluptate pariatur ex culpa magna nostrud est incididunt fugiat
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>
<p>desc</p>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
index.xml Normal file
View File

@ -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>Home on Formal Methods Tools</title>
<link>https://example.org/</link>
<description>Recent content in Home 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/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>

53
interactions/aranpoasi/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Aranpoasi | 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="Aranpoasi">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/interactions/aranpoasi/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/interactions/aranpoasi/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Aranpoasi</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
interactions/aranpoasi/index.xml Normal file
View File

@ -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>Aranpoasi on Formal Methods Tools</title>
<link>https://example.org/interactions/aranpoasi/</link>
<description>Recent content in Aranpoasi 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/aranpoasi/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>

55
interactions/index.html Normal file
View File

@ -0,0 +1,55 @@
<!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>Interactions | 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="Interactions">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/interactions/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/interactions/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Interactions</h1>
<h2><a href="/interactions/aranpoasi/">Aranpoasi</a></h2>
<h2><a href="/interactions/lorem-ipsum/">Lorem Ipsum</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

26
interactions/index.xml Normal file
View File

@ -0,0 +1,26 @@
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
<channel>
<title>Interactions on Formal Methods Tools</title>
<link>https://example.org/interactions/</link>
<description>Recent content in Interactions 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/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>Aranpoasi</title>
<link>https://example.org/interactions/aranpoasi/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/interactions/aranpoasi/</guid>
<description></description>
</item>
<item>
<title>Lorem Ipsum</title>
<link>https://example.org/interactions/lorem-ipsum/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/interactions/lorem-ipsum/</guid>
<description></description>
</item>
</channel>
</rss>

53
interactions/lorem-ipsum/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Lorem Ipsum | 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="Lorem Ipsum">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/interactions/lorem-ipsum/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/interactions/lorem-ipsum/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Lorem Ipsum</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
interactions/lorem-ipsum/index.xml Normal file
View File

@ -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>Lorem Ipsum on Formal Methods Tools</title>
<link>https://example.org/interactions/lorem-ipsum/</link>
<description>Recent content in Lorem Ipsum 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/lorem-ipsum/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>

53
languages/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Languages | 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="Languages">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/languages/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/languages/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Languages</h1>
<h2><a href="/languages/tttt/">Tttt</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
languages/index.xml Normal file
View File

@ -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>Languages on Formal Methods Tools</title>
<link>https://example.org/languages/</link>
<description>Recent content in Languages 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/languages/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>Tttt</title>
<link>https://example.org/languages/tttt/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/languages/tttt/</guid>
<description></description>
</item>
</channel>
</rss>

53
languages/tttt/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Tttt | 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="Tttt">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/languages/tttt/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/languages/tttt/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Tttt</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
languages/tttt/index.xml Normal file
View File

@ -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>Tttt on Formal Methods Tools</title>
<link>https://example.org/languages/tttt/</link>
<description>Recent content in Tttt 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/languages/tttt/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>

53
purposes/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Purposes | 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="Purposes">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/purposes/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/purposes/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Purposes</h1>
<h2><a href="/purposes/test/">Test</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
purposes/index.xml Normal file
View File

@ -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>Purposes on Formal Methods Tools</title>
<link>https://example.org/purposes/</link>
<description>Recent content in Purposes 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/purposes/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>Test</title>
<link>https://example.org/purposes/test/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/purposes/test/</guid>
<description></description>
</item>
</channel>
</rss>

53
purposes/test/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Test | 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="Test">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/purposes/test/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/purposes/test/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Test</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
purposes/test/index.xml Normal file
View File

@ -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>Test on Formal Methods Tools</title>
<link>https://example.org/purposes/test/</link>
<description>Recent content in Test 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/purposes/test/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>

65
sitemap.xml Normal file
View File

@ -0,0 +1,65 @@
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
xmlns:xhtml="http://www.w3.org/1999/xhtml">
<url>
<loc>https://example.org/tools/z3/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</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/aranpoasi/</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>
</url><url>
<loc>https://example.org/domains/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/formalisms/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/interactions/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/languages/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/interactions/lorem-ipsum/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/purposes/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/systems/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/techniques/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/purposes/test/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/developers/test-dev/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/tools/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/domains/tttt/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/formalisms/tttt/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/languages/tttt/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/systems/tttt/</loc>
<lastmod>2024-02-02T04:14:54-08:00</lastmod>
</url><url>
<loc>https://example.org/</loc>
<lastmod>2023-01-01T08:00:00-07:00</lastmod>
</url>
</urlset>

53
systems/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Systems | 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="Systems">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/systems/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/systems/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Systems</h1>
<h2><a href="/systems/tttt/">Tttt</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
systems/index.xml Normal file
View File

@ -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>Systems on Formal Methods Tools</title>
<link>https://example.org/systems/</link>
<description>Recent content in Systems 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/systems/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>Tttt</title>
<link>https://example.org/systems/tttt/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/systems/tttt/</guid>
<description></description>
</item>
</channel>
</rss>

53
systems/tttt/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Tttt | 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="Tttt">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/systems/tttt/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/systems/tttt/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Tttt</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
systems/tttt/index.xml Normal file
View File

@ -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>Tttt on Formal Methods Tools</title>
<link>https://example.org/systems/tttt/</link>
<description>Recent content in Tttt 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/systems/tttt/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>

53
techniques/aaa/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Aaa | 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="Aaa">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/techniques/aaa/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/techniques/aaa/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Aaa</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
techniques/aaa/index.xml Normal file
View File

@ -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>Aaa on Formal Methods Tools</title>
<link>https://example.org/techniques/aaa/</link>
<description>Recent content in Aaa 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/techniques/aaa/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>

53
techniques/index.html Normal file
View File

@ -0,0 +1,53 @@
<!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>Techniques | 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="Techniques">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/techniques/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/techniques/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Techniques</h1>
<h2><a href="/techniques/aaa/">Aaa</a></h2>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
techniques/index.xml Normal file
View File

@ -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>Techniques on Formal Methods Tools</title>
<link>https://example.org/techniques/</link>
<description>Recent content in Techniques 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/techniques/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>Aaa</title>
<link>https://example.org/techniques/aaa/</link>
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
<guid>https://example.org/techniques/aaa/</guid>
<description></description>
</item>
</channel>
</rss>

54
tools/index.html Normal file
View File

@ -0,0 +1,54 @@
<!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>Tools | 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="Tools">
<meta property="og:description" content="">
<meta property="og:url" content="https://example.org/tools/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/tools/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Tools</h1>
<h2><a href="/tools/z3/">Z3 Theorem Prover</a></h2>
<p>desc</p>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>

19
tools/index.xml Normal file
View File

@ -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>Tools on Formal Methods Tools</title>
<link>https://example.org/tools/</link>
<description>Recent content in Tools 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/tools/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>

336
tools/z3/index.html Normal file
View File

@ -0,0 +1,336 @@
<!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>Z3 Theorem Prover | 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="Z3 Theorem Prover">
<meta property="og:description" content="desc">
<meta property="og:url" content="https://example.org/tools/z3/">
<meta property="og:image" content="images/%!s(&lt;nil&gt;)">
<link rel="canonical" href="https://example.org/tools/z3/">
<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.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css" integrity="sha512-1BZJwQfsWxA4zL1o3vdHQPQdFQQK1BQd6/F7HRxmWmFDzXN&#43;ELCAVfvCagiKR7hZNKJ/oZIsasnMF6inWYolPQ==">
</head>
<body>
<header>
<h1><a href="/">Formal Methods Tools</a></h1>
</header>
<main>
<h1>Z3 Theorem Prover</h1>
Updated <time datetime="2024-02-02T04:14:54-08:00">February 2, 2024</time>
<section>
<h2>Links</h2>
<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">code</a></li>
<li><a href="https://rise4fun.com/z3" target="_blank" rel="noopener">playground</a></li>
</ul>
</section>
<section>
<h2>At a Glance</h2>
<table id="taxonomies">
<thead>
<tr>
<th>Taxonomy</th>
<th>Terms</th>
</tr>
</thead>
<tbody>
<tr>
<th>Developers</th>
<td>
<a
id="developers_test-dev"
style="background:rgba(227,126,78,0.4)"
href="/developers/test-dev">
test dev
</a>
</td>
</tr>
<tr>
<th>Domains</th>
<td>
<a
id="domains_tttt"
style="background:rgba(50,191,14,0.4)"
href="/domains/tttt">
tttt
</a>
</td>
</tr>
<tr>
<th>Formalisms</th>
<td>
<a
id="formalisms_tttt"
style="background:rgba(50,191,14,0.4)"
href="/formalisms/tttt">
tttt
</a>
</td>
</tr>
<tr>
<th>Interactions</th>
<td>
<a
id="interactions_aranpoasi"
style="background:rgba(231,148,58,0.4)"
href="/interactions/aranpoasi">
aranpoasi
</a>
<a
id="interactions_lorem-ipsum"
style="background:rgba(128,167,81,0.4)"
href="/interactions/lorem-ipsum">
lorem ipsum
</a>
</td>
</tr>
<tr>
<th>Languages</th>
<td>
<a
id="languages_tttt"
style="background:rgba(50,191,14,0.4)"
href="/languages/tttt">
tttt
</a>
</td>
</tr>
<tr>
<th>Purposes</th>
<td>
<a
id="purposes_test"
style="background:rgba(9,143,107,0.4)"
href="/purposes/test">
test
</a>
</td>
</tr>
<tr>
<th>Systems</th>
<td>
<a
id="systems_tttt"
style="background:rgba(50,191,14,0.4)"
href="/systems/tttt">
tttt
</a>
</td>
</tr>
<tr>
<th>Techniques</th>
<td>
<a
id="techniques_aaa"
style="background:rgba(71,188,229,0.4)"
href="/techniques/aaa">
aaa
</a>
</td>
</tr>
</tbody>
</table>
</section>
<section>
<h2>Description</h2>
<p>desc</p>
</section>
<section>
<h2>Publications</h2>
<ul>
<li>
<strong>2023</strong>:
<em>Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks</em>
<br /> by Taylor, Landon | Israelsen, Bryant | Zhang, Zhen
<br />Appears in <em>Formal Methods in Computer-Aided Design</em>
(284--293)
<br /><a href="https://doi.org/map[author:[Taylor,%20Landon%20Israelsen,%20Bryant%20Zhang,%20Zhen]%20booktitle:Formal%20Methods%20in%20Computer-Aided%20Design%20copyright:http://creativecommons.org/licenses/by/4.0/%20doi:10.34727/2023/isbn.978-3-85448-060-0_37%20isbn:978-3-85448-060-0%20key:Taylor2023%20langid:english%20month:October%20pages:284--293%20publisher:TU%20Wien%20Academic%20Press%20shorttitle:Cycle%20and%20Commute%20title:Cycle%20and%20Commute:%20Rare-Event%20Probability%20Verification%20for%20Chemical%20Reaction%20Networks%20urldate:2023-11-08%20year:2023]" target="_blank" rel="noopener">DOI: 10.34727/2023/isbn.978-3-85448-060-0_37</a>
</li>
</ul>
</section>
</main>
<footer>
<p>Copyright 2025. All rights reserved.</p>
</footer>
</body>
</html>