Skip to content
@beedbyte

Beedbyte

Mathematical research notes, source code and reproducible checks from Beedbyte.

Beedbyte

Mathematical research notes and software from Beedbyte. Each project documents its question, sources, proof or code, scope and earlier versions.

Deutsch

Mathematische Forschungsnotizen und Software von Beedbyte. Jedes Projekt dokumentiert Fragestellung, Quellen, Beweis oder Code, Geltungsbereich und frühere Fassungen.

简体中文

Beedbyte 发布数学研究笔记和软件。各项目记录研究问题、来源、证明或代码、适用范围及早期版本。

Pinned Loading

  1. graceful-spiders graceful-spiders Public

    Graceful spider certificates, proof notes, and reproducible checks

    Lean

  2. rule30-research rule30-research Public

    Finite Rule 30 center-column models, specification, and checks

    Python

  3. schur6 schur6 Public

    Local Schur S(6) certificate-extension obstruction and reproduction code

    Python

  4. sha256-notes sha256-notes Public

    SHA-256 project scope and current public status

  5. website website Public

    Public Beedbyte website overview and brand mark

Repositories

Showing 6 of 6 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…