sample content

README.md

@@ -1,3 +0,0 @@
-# content
-
-Content (i.e., Formal Methods Tools) for the Formal Methods Tools website. Please contribute! Instructions to come.

_index.md

@@ -0,0 +1,9 @@
++++
+title = 'Home'
+date = 2023-01-01T08:00:00-07:00
+draft = false
++++
+
+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.

tools/z3.md

@@ -0,0 +1,22 @@
++++
+date = 2024-02-02T04:14:54-08:00
+draft = false
+title = 'Z3 Theorem Prover'
+weight = 10
+purposes = ['test']
+techniques = ['aaa']
+domains = ['tttt']
+languages = ['tttt']
+systems = ['tttt']
+interactions = ['lorem ipsum', 'aranpoasi']
+formalisms = ['tttt']
+developers = ['test dev']
+links = [
+  { title = "website", url = "https://github.com/Z3Prover/z3" },
+  { title = "code", url = "https://github.com/Z3Prover/z3" },
+  { title = "playground", url = "https://rise4fun.com/z3" }
+]
+publications = ['Taylor2023']
++++
+
+desc