Code

Python package#5

Code

Draft

zhangir-azerbayev wants to merge 6 commits intoleanprover-community:masterleanprover-community/repl:masterfrom zhangir-azerbayev:masterzhangir-azerbayev/repl:masterCopy head branch name to clipboard

+278

Commits

Commits on Apr 5, 2023

• added python package structure

  zhangir-azerbayev

  committed
  603356f

  Copy full SHA for 603356f

• appended python gitignore to gitignore

  zhangir-azerbayev

  committed
  6422f1a

  Copy full SHA for 6422f1a

• pylean passing tests

  zhangir-azerbayev

  committed
  5c7be20

  Copy full SHA for 5c7be20

• remove useless print statement; add instructions in readme

  zhangir-azerbayev

  committed
  82aefa4

  Copy full SHA for 82aefa4

• updated readme

  zhangir-azerbayev

  committed
  c2a0445

  Copy full SHA for c2a0445

Commits on Jun 19, 2023

• Update pylean/pylean/__init__.py

  Show description for bddf452
  

  zhangir-azerbayev

  and

  eric-wieser

  authored
  bddf452

  Copy full SHA for bddf452