bkushigian idris-nt issues - Githubissues

bkushigian / idris-nt

idris number theory

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Theorem 40

#24 donald-pinckney closed 5 years ago
0
Theorem 39

#23 donald-pinckney closed 5 years ago
0
Theorem 38

#22 donald-pinckney closed 5 years ago
0
Theorem 37

#21 donald-pinckney closed 5 years ago
0
Theorem 36

#20 donald-pinckney closed 5 years ago
0
Theorem 35

#19 donald-pinckney closed 5 years ago
0
Theorem 34

#18 donald-pinckney closed 5 years ago
0
Theorem 33

#17 donald-pinckney closed 5 years ago
0
Theorem 32

#16 donald-pinckney closed 5 years ago
0
Theorem 31

#15 donald-pinckney closed 5 years ago
0
Theorem 30

#14 donald-pinckney closed 5 years ago
0
Theorem 29

#13 donald-pinckney closed 5 years ago
0
Need to figure out how to encode sets of PNats

#12 donald-pinckney opened 5 years ago
18
Theorem 26

#11 donald-pinckney closed 5 years ago
0
Theorem 25

#10 donald-pinckney closed 5 years ago
0
Theorem 24

#9 donald-pinckney closed 5 years ago
0
Theorem 23

#8 donald-pinckney closed 5 years ago
0
Theorem 22

#7 donald-pinckney closed 5 years ago
0
Theorem 21

#6 donald-pinckney closed 5 years ago
0
Theorem 20

#5 bkushigian closed 5 years ago
0
Theorem 19

#4 bkushigian closed 5 years ago
0
Theorem 18

#3 bkushigian closed 5 years ago
0
Theorem 18

#2 bkushigian closed 5 years ago
0
Theorem 17

#1 bkushigian opened 5 years ago
0