danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2024-11-07 10:21:49

Browse Source
This commit is contained in:
Dane Sabo 2024-11-07 10:21:49 -05:00
parent 5f95aa4a4d
commit ae7deed5a0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
What is Lobot?.md
View File

@ -12,3 +12,4 @@
- It looks like these get passed down to an actual theorem prover or whatever FRET is. - It looks like these get passed down to an actual theorem prover or whatever FRET is.
- Lobot has 'consistency checks' at the end of the file that are baby theorems. - Lobot has 'consistency checks' at the end of the file that are baby theorems.
- The github is FULL of todos. - The github is FULL of todos.
- Lots of 'what the fuck?'s