[seqfan] Re: A new sequence counting the number of distinct languages recognized by DFAs

[Ruud H.G. van Tol]

[off-list]

On 2024-07-22 17:40, Thomas Baruchel via SeqFan wrote:
> most of us are aware of the recent achievement concerning BB(5), which 
> inspired me to look for a (much easier) side project related to Theory 
> of Computation.

Hello Thomas,

Re. BB(5) I found https://github.com/ccz181078/Coq-BB5.
Maybe you meant that, or you like to refer to it.

-- Greetings, Ruud