Skip to content

Commit

Permalink
towards lean4
Browse files Browse the repository at this point in the history
  • Loading branch information
@olof-darinsky
olof-darinsky committed Feb 6, 2025
1 parent 799b102 commit fd38621
Showing 1 changed file with 1,707 additions and 507 deletions.
Loading

0 comments on commit fd38621

Please sign in to comment.