Skip to content

Commit d33ac05

Browse files
kaleidawavekaleidawave
committed
Remove integers from main
1 parent 8057823 commit d33ac05

File tree

2 files changed

+2
-260
lines changed

2 files changed

+2
-260
lines changed

‎.github/workflows/check.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
name: Check
2+
13
on:
24
push:
35
branches: [main]

‎Mathematics/Structures/Numbers/Integer.lean‎

Lines changed: 0 additions & 260 deletions
This file was deleted.

0 commit comments

Comments
 (0)