Skip to content

Commit

Permalink
remove lakefile
Browse files Browse the repository at this point in the history
  • Loading branch information
@mo271
mo271 committed Sep 20, 2024
1 parent afe6bd7 commit 3b58242
Showing 1 changed file with 0 additions and 20 deletions.
20 changes: 0 additions & 20 deletions lakefile.lean
View file

This file was deleted.

0 comments on commit 3b58242

Please sign in to comment.