update

pitmonticone · Jul 31, 2024 · df872b6 · df872b6
1 parent a19040a
commit df872b6
Show file tree

Hide file tree

Showing 13 changed files with 23 additions and 274 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
diff --git a/README.md b/README.md
@@ -16,7 +16,6 @@
 [![Blueprint: Dependency Graph](https://img.shields.io/badge/Blueprint-Dependency_Graph-red.svg)](https://pitmonticone.github.io/FLT3/blueprint/dep_graph_document.html)
 [![Blueprint: Paper](https://img.shields.io/badge/Blueprint-Paper-darkred.svg)](https://pitmonticone.github.io/FLT3/blueprint.pdf)
 
-
 This repository contains a template for blueprint-driven formalization projects in Lean 4.
 
 ## Repository Layout

diff --git a/blueprint/src/blueprint.sty b/blueprint/src/blueprint.sty
diff --git a/blueprint/src/content.tex b/blueprint/src/content.tex
diff --git a/blueprint/src/extra_styles.css b/blueprint/src/extra_styles.css
diff --git a/blueprint/src/latexmkrc b/blueprint/src/latexmkrc
diff --git a/blueprint/src/macros/common.tex b/blueprint/src/macros/common.tex
diff --git a/blueprint/src/macros/print.tex b/blueprint/src/macros/print.tex
diff --git a/blueprint/src/macros/web.tex b/blueprint/src/macros/web.tex
diff --git a/blueprint/src/plastex.cfg b/blueprint/src/plastex.cfg
diff --git a/blueprint/src/print.tex b/blueprint/src/print.tex
diff --git a/blueprint/src/web.tex b/blueprint/src/web.tex
diff --git a/talk.md b/talk.md
@@ -0,0 +1,23 @@
+# Talk
+
+## Motivation and Big Picture
+
+## Blueprint-Based Project Types
+
+## Introduction to the Blueprint Package
+
+## Blueprint CLI Demo
+
+## Blueprint Special Commands and Concrete Use Cases
+
+## "Standard" Blueprint vs. "Literate Programming Like" Blueprint à la PNT+
+
+## How Big Collaborative Lean Projects Are Actually Designed, Managed and Developed on Zulip
+
+## Real-World Examples
+
+## Current Challenges and Questions
+
+## Possible Future Developments
+
+- ML on mathematical knowledge graphs