Timeline for At which level is it currently possible to write formal proofs?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2022 at 18:58 | comment | added | Glorfindel | @FedericoPoloni that is a very good question. I just rolled back the edit and let the script (it's all fully automated) run again, and this time it did replace the remaining HTTP links with HTTPS (except for mizar.org, which is only accessible over HTTP). I see nothing strange in the logs from earlier today, except that it didn't even consider checking those sites over HTTPS. It's probably worth noting that the script doesn't edit a post if the only thing it can do is replace HTTP with HTTPS - that's not worth bumping a post to the front page. | |
| Jul 28, 2022 at 18:53 | history | edited | Glorfindel | CC BY-SA 4.0 |
2 broken links fixed
|
| Jul 28, 2022 at 18:52 | history | rollback | Glorfindel |
Rollback to Revision 1
|
|
| Jul 28, 2022 at 8:11 | comment | added | Federico Poloni | @Glorfindel Just a curiosity: is there a logic behind converting to https almost all links in this answer but not all of them? As far as I see also the remaining ones work under https. | |
| Jul 28, 2022 at 8:01 | history | edited | Glorfindel | CC BY-SA 4.0 |
2 broken links fixed
|
| Jun 18, 2013 at 8:46 | comment | added | The User | I use Sage a lot. ;) | |
| Jun 18, 2013 at 2:34 | history | answered | Jacques Carette | CC BY-SA 3.0 |