Skip to content
View antonkov's full-sized avatar
68 followers · 153 following
  • London

Achievements

Achievement: Pull Sharkx2Achievement: Starstruckx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: Starstruckx2Achievement: YOLO

Organizations

@Paper-Proof

Block or report antonkov

Report abuse

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

Report abuse

Pinned Loading

  1. Paper-Proof/paperproof Paper-Proof/paperproof Public

    Lean theorem proving interface which feels like pen-and-paper proofs.

    TypeScript 476 14