Timeline for Most adequate software for proof checking graph theory proofs
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 18, 2019 at 18:22 | comment | added | EGME | @NeilStrickland That would be interesting. There is a very interesting (and powerful, with many structural consequences) conjecture which could possibly be settled with the help of a computer ... it is almost made for it ... but from your remark, I take it no one has done any leg work for making graphs accessible in Lean ... maybe a project worth undertaking ... thanks for your comment. | |
| Jun 18, 2019 at 18:17 | comment | added | Neil Strickland | I don't think anyone has done any serious graph theory in Lean yet. But it would not be hard to do. | |
| Jun 18, 2019 at 17:04 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| May 19, 2019 at 16:03 | answer | added | Ken W. Smith | timeline score: 1 | |
| May 18, 2019 at 15:10 | history | asked | EGME | CC BY-SA 4.0 |