Skip to content
View ycmath's full-sized avatar
🇰🇷
On It
🇰🇷
On It

Highlights

  • Pro

Block or report ycmath

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. wcy wcy Public

    A Token-Native Reasoning Format and Epistemic Substrate for AI Systmes.

    Python 1

  2. collapse-code-topology collapse-code-topology Public

    Symbolic simulation framework for collapse-based emergent forces in codeword spaces. Includes topology-aware entropy models, Betti tracking, and AG code zeta function analysis.

  3. caveman_BA caveman_BA Public

    Made bronze age version revision of Julius Brussee's caveman.

    Python

  4. inversion-wilf-spi inversion-wilf-spi Public

    Kernel-checked resolution of the last open case of the length-4 Wilf classification on inversion sequences (Hong–Li Conj. 20), 15 length-5 equivalences, and the SPI programme. Produced by an autono…

    Lean

  5. cohomological-price-of-not cohomological-price-of-not Public

    The decrease invariant of negation complexity acquires a cohomological address: unique pricing character, nested negation-tower theorem, three-zone witness. Machine-verified in core Lean 4 (kernel-…

    Lean

  6. jacobian-three-charts jacobian-three-charts Public

    Python