proofs
an archive of posts with this tag
| Aug 3, 2026 | How Universal Proofs Motivate Dependent Types |
|---|---|
| Jul 6, 2026 | What makes induction legitimate? |
| Jul 5, 2026 | Induction is about how things are made |
an archive of posts with this tag
| Aug 3, 2026 | How Universal Proofs Motivate Dependent Types |
|---|---|
| Jul 6, 2026 | What makes induction legitimate? |
| Jul 5, 2026 | Induction is about how things are made |