atezet/dedekind-wiedemann
Bachelor Project on Dedekind Numbers following Wiedemann (1991)'s strategy to compute dn+2 from Dn.
Discovered public repositories for atezet in the GitHub catalog.
Bachelor Project on Dedekind Numbers following Wiedemann (1991)'s strategy to compute dn+2 from Dn.