Skip to content

Commit

Permalink
rm
Browse files Browse the repository at this point in the history
  • Loading branch information
@iehality
iehality committed Jun 2, 2024
1 parent b11f209 commit d087926
Showing 1 changed file with 0 additions and 76 deletions.
76 changes: 0 additions & 76 deletions Arithmetization/ISigmaZero/Bit.lean
View file

This file was deleted.

0 comments on commit d087926

Please sign in to comment.