diff options
| author | Marvin Borner | 2023-10-15 19:38:47 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-10-15 19:38:47 +0200 |
| commit | 8e224ab8125a3ec34e0c70ac9ef12ae389661aaf (patch) | |
| tree | 3076fc519fbf9098af65708f11e1924d9a333c24 /std/AIT | |
| parent | d6e375e2df252ca27de32fa29c2d69a69ce9f65b (diff) | |
Fixed some minor things
Diffstat (limited to 'std/AIT')
| -rw-r--r-- | std/AIT/Beavers.bruijn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/std/AIT/Beavers.bruijn b/std/AIT/Beavers.bruijn index f75b6af..2dfa375 100644 --- a/std/AIT/Beavers.bruijn +++ b/std/AIT/Beavers.bruijn @@ -2,6 +2,8 @@ # all currently known binary busy beavers # originally proposed and calculated by John Tromp +# reduction results in OEIS sequence A333479 + invalid [0 0] [0 0] # not possible |