Timeline for Finite verification for theorems due to Busy Beaver numbers
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 16 at 5:05 | vote | accept | Ivan Galakhov | ||
| Jul 16 at 5:04 | vote | accept | Ivan Galakhov | ||
| Jul 16 at 5:04 | |||||
| Jul 14 at 23:55 | history | edited | C7X | CC BY-SA 4.0 |
added 22 characters in body
|
| Jul 14 at 23:45 | history | answered | C7X | CC BY-SA 4.0 |