From 018ebff643ad4e7bd9e45a2c595129c78987a6e5 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 24 Feb 2025 11:43:15 -0500 Subject: [PATCH] vault backup: 2025-02-24 11:43:15 --- 3-99 Research/Assembly/Assembly - README.md | 2 +- 3-99 Research/LEAN/Tutorial World.md | 5 +++++ 3-99 Research/TLA/TLA - README.md | 2 +- 5 Thesis/1 Ideas/1 Ideas - README.md | 2 +- 4 files changed, 8 insertions(+), 3 deletions(-) create mode 100644 3-99 Research/LEAN/Tutorial World.md diff --git a/3-99 Research/Assembly/Assembly - README.md b/3-99 Research/Assembly/Assembly - README.md index d8f218a5d..96e1dadeb 100644 --- a/3-99 Research/Assembly/Assembly - README.md +++ b/3-99 Research/Assembly/Assembly - README.md @@ -2,7 +2,7 @@ ## Files - [[Assembly Canvas.canvas]] -- [[Untitled.md]] +- [[3-99 Research/Assembly/Untitled]] ## Summary diff --git a/3-99 Research/LEAN/Tutorial World.md b/3-99 Research/LEAN/Tutorial World.md new file mode 100644 index 000000000..8696570a2 --- /dev/null +++ b/3-99 Research/LEAN/Tutorial World.md @@ -0,0 +1,5 @@ +# Tactics +| Tactic Name | Ex. Expr. | What does it do? | +| ----------- | --------- | ----------------------------------------- | +| `rfl` | $X = X$ | Proves all theorems of the observed form. | +| `rw` | | | diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index 2625278eb..4890268f8 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -3,7 +3,7 @@ ## Files - [[TLA Canvas.canvas]] - [[TLA+ Learning Plan.md]] -- [[Untitled.md]] +- [[3-99 Research/TLA/Untitled]] - [[What is TLA?.md]] - [[What the hell is liveness?.md]] diff --git a/5 Thesis/1 Ideas/1 Ideas - README.md b/5 Thesis/1 Ideas/1 Ideas - README.md index 3c284cf25..d065e7fce 100644 --- a/5 Thesis/1 Ideas/1 Ideas - README.md +++ b/5 Thesis/1 Ideas/1 Ideas - README.md @@ -1,7 +1,7 @@ # Table of Contents for 1 Ideas ## Files -- [[Untitled.md]] +- [[5 Thesis/1 Ideas/Untitled]] ## Summary