Skip to content
View celainica's full-sized avatar
2 followers · 12 following
  • Shenzhen, China

Block or report celainica

Report abuse

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

Report abuse
celainica/README.md

Через час уже просто земля,

Через два на ней цветы и трава,

Через три она снова жива.

Pinned Loading

  1. Lean_GoalTree Lean_GoalTree Public

    Get the crucial Goal Tree structure for Lean code. A static version of Paper-Proof.

    Lean 1

  2. lean-sketch lean-sketch Public

    Analyze Lean code to determine crucial steps.

    Python 4