proof-tree

There are 1 repository under proof-tree topic.

• Paper-Proof / paperproof

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

  lean4proof-treemathematics
  Language:TypeScript 327

• hide-kawabata / traf

  A proof tree viewer that works with Coq through Proof General

  proof-generalcoqproof-treetraf
  Language:OCaml 24