completed the proof of the categoricity of dlo

metinersin · Aug 14, 2024 · 4e09bd8 · 4e09bd8
1 parent f4e5e3f
commit 4e09bd8
Show file tree

Hide file tree

Showing 29 changed files with 1,152 additions and 3,405 deletions.
diff --git a/AutoBlueprint/Latex/Basic.lean b/AutoBlueprint/Latex/Basic.lean