Timeline for Lean and inaccessible cardinals
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 10 at 3:14 | comment | added | Mike Battaglia | OK, posted here: proofassistants.stackexchange.com/questions/4046/… | |
| Jun 2 at 5:02 | comment | added | Jason Rute | @MikeBattaglia Ask as a PA.SX question. | |
| Jun 1 at 16:23 | comment | added | Mike Battaglia | Hi, totally new to Lean and had not seen before that $\Bbb N ≠ \Bbb Z$ is independent of Lean. Why is this? Are there any good resources to learn about this kind of thing? | |
| Feb 20 at 5:29 | comment | added | François G. Dorais | This is a wonderful and comprehensive summary. Thank you very much for taking the time to write this! | |
| Feb 20 at 4:31 | history | answered | Jason Rute | CC BY-SA 4.0 |