Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /doc

43.2 kB

Ctrl+K

Ctrl+K

3 contributors

History: 1 commit

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 2 months ago

.gitignore

8 Bytes
use pypantograph for checking submitted statements 2 months ago
_config.yml

2.05 kB
use pypantograph for checking submitted statements 2 months ago
_toc.yml

283 Bytes
use pypantograph for checking submitted statements 2 months ago
agent-search.ipynb

4.64 kB
use pypantograph for checking submitted statements 2 months ago
api-data.rst

66 Bytes
use pypantograph for checking submitted statements 2 months ago
api-expr.rst

139 Bytes
use pypantograph for checking submitted statements 2 months ago
api-message.rst

72 Bytes
use pypantograph for checking submitted statements 2 months ago
api-search.rst

70 Bytes
use pypantograph for checking submitted statements 2 months ago
api-server.rst

70 Bytes
use pypantograph for checking submitted statements 2 months ago
frontend.ipynb

10.2 kB
use pypantograph for checking submitted statements 2 months ago
goal.ipynb

19.2 kB
use pypantograph for checking submitted statements 2 months ago
intro.md

3.46 kB
use pypantograph for checking submitted statements 2 months ago
setup.md

2.93 kB
use pypantograph for checking submitted statements 2 months ago