timechess InclusionAndExclusion issues - Githubissues

timechess / InclusionAndExclusion

0 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Added natural language proof of the final theorem

#8 gnawyymmij closed 2 months ago
0
LaTex Commit

#7 rfsfreffr closed 2 months ago
0
pr

#6 rfsfreffr closed 2 months ago
0
Completed proof of FinIneter.lean

#5 gnawyymmij closed 2 months ago
1
FAQ

#4 timechess opened 2 months ago
2
Proof of List.eq_FinInter

#3 gnawyymmij closed 2 months ago
0
Prove toInt_and && toInt_not

#2 rfsfreffr closed 2 months ago
0
Initialize the project

#1 XintaoYu closed 2 months ago
0