Skip to content

Commit

Permalink
remove Main.lean
Browse files Browse the repository at this point in the history
  • Loading branch information
@joneugster
joneugster committed Feb 28, 2024
1 parent 992eeb1 commit ed7c2d2
Showing 1 changed file with 0 additions and 9 deletions.
9 changes: 0 additions & 9 deletions Main.lean
View file

This file was deleted.

0 comments on commit ed7c2d2

Please sign in to comment.