bbchallenge

public files related to the Busy Beaver challenge

Navigation Menu

Repository files navigation

bbchallenge

About

Contributors

Languages

Name		Name	Last commit message	Last commit date
1RB---0RB0LA2RA_2LB2LA3RA4LB0LB		1RB---0RB0LA2RA_2LB2LA3RA4LB0LB
1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE		1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE
1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC		1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC
1RB0RC_0LC0LB_0LD1LC_0LE1LA_0LF---_1RF1RA		1RB0RC_0LC0LB_0LD1LC_0LE1LA_0LF---_1RF1RA
1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA		1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA
1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB		1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB
1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---1LE		1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---1LE
1RB1LA_1RC0RF_1RD---_0LE1RB_---0LA_1LD1RF		1RB1LA_1RC0RF_1RD---_0LE1RB_---0LA_1LD1RF
1RB1LA_1RC1RE_1LD0RB_1LA0LC_0RF0RD_0RB---		1RB1LA_1RC1RE_1LD0RB_1LA0LC_0RF0RD_0RB---
1RB1LD_1RC0LE_1LA1RE_0LF1LA_1RB0RB_---0LB		1RB1LD_1RC0LE_1LA1RE_0LF1LA_1RB0RB_---0LB
1RB1LE_0LC0LB_1RD1LC_1RD1RA_1RF0LA_---1RE		1RB1LE_0LC0LB_1RD1LC_1RD1RA_1RF0LA_---1RE
1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC		1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC
1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE		1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE
1RB1RE_1LC1LD_---1LA_1LB1LE_0RF0RA_1LD1RF		1RB1RE_1LC1LD_---1LA_1LB1LE_0RF0RA_1LD1RF
1RB1RF_1LC1LF_0RE1LD_0LB1LD_---1RC_1RA0RD		1RB1RF_1LC1LF_0RE1LD_0LB1LD_---1RC_1RA0RD
1RB3RB1LB---2RB_2LA1RA4LB2LA2RA		1RB3RB1LB---2RB_2LA1RA4LB2LA2RA
Antihydra		Antihydra
BusyLean		BusyLean
.gitignore		.gitignore
.mcp.json		.mcp.json
LICENSE		LICENSE
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Latest commit

History

Folders and files

Repository files navigation

bbchallenge

About

Topics

Resources

Stars

Watchers

Forks

Contributors

Languages