initial commit

2026-04-16 23:36:34 +02:00
commit 6f48e5d2ed
32 changed files with 5505 additions and 0 deletions
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -0,0 +1,4 @@
+out
+latexout
+latex.out
+direnv