update

meta-introspector · Jan 30, 2024 · 494813a · 494813a
1 parent be7e5ec
commit 494813a
Show file tree

Hide file tree

Showing 15 changed files with 15 additions and 0 deletions.
diff --git a/2024/01/30/18.721 b/2024/01/30/18.721
diff --git a/2024/01/30/ClosestPoints b/2024/01/30/ClosestPoints
diff --git a/2024/01/30/adt-synthesis b/2024/01/30/adt-synthesis
diff --git a/2024/01/30/bedrock b/2024/01/30/bedrock
diff --git a/2024/01/30/coq-scripts b/2024/01/30/coq-scripts
diff --git a/2024/01/30/coq-tactics b/2024/01/30/coq-tactics
diff --git a/2024/01/30/coq-tools b/2024/01/30/coq-tools
diff --git a/2024/01/30/ct4s b/2024/01/30/ct4s
diff --git a/2024/01/30/lob b/2024/01/30/lob
diff --git a/2024/01/30/lob-paper b/2024/01/30/lob-paper
diff --git a/2024/01/30/neural-net-coq-interp b/2024/01/30/neural-net-coq-interp
diff --git a/2024/01/30/parsing-parses b/2024/01/30/parsing-parses
diff --git a/2024/01/30/proviola-source b/2024/01/30/proviola-source
diff --git a/2024/01/30/slow-coq-examples b/2024/01/30/slow-coq-examples
diff --git a/2024/01/30/variegated-reading-lists b/2024/01/30/variegated-reading-lists