Skip to content

Commit

Permalink
completed the proof of the categoricity of dlo
Browse files Browse the repository at this point in the history
  • Loading branch information
metinersin committed Aug 14, 2024
1 parent f4e5e3f commit 4e09bd8
Show file tree
Hide file tree
Showing 29 changed files with 1,152 additions and 3,405 deletions.
315 changes: 0 additions & 315 deletions AutoBlueprint/Latex/Basic.lean

This file was deleted.

Loading

0 comments on commit 4e09bd8

Please sign in to comment.