BB(1094) > Loader's number

Aug 2024 · CatIsFluffy

Featured Links

Github	https://github.com/CatsAreFluffy/metamath-turing-machines/blob/master/blc_loader.nql
Chat about it	https://discord.com/channels/960643023006490684/1026577255754903572
Highlighted message	https://discord.com/channels/960643023006490684/1026577255754903572/1275972212473593960
Highlighted message 2	https://discord.com/channels/960643023006490684/1026577255754903572/1276063022099464213
Highlighted message 3	https://discord.com/channels/960643023006490684/1026577255754903572/1276085368432754712