From ae7deed5a09969e0feee2c3c0af1a8bf02d1ccfe Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Thu, 7 Nov 2024 10:21:49 -0500 Subject: [PATCH] vault backup: 2024-11-07 10:21:49 --- What is Lobot?.md | 1 + 1 file changed, 1 insertion(+) diff --git a/What is Lobot?.md b/What is Lobot?.md index c8ffcfeb7..ddbebfdde 100644 --- a/What is Lobot?.md +++ b/What is Lobot?.md @@ -12,3 +12,4 @@ - 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. - The github is FULL of todos. +- Lots of 'what the fuck?'s