search

timechess / InclusionAndExclusion

0 stars 8 forks source link

Completed proof of FinIneter.lean #5

Closed gnawyymmij closed 2 months ago

timechess commented 2 months ago

The lean code is fine. Will merge after the natural language proof finished.