Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /pantograph

66 kB

Ctrl+K

Ctrl+K

3 contributors

History: 1 commit

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 2 months ago

.gitignore

31 Bytes
use pypantograph for checking submitted statements 2 months ago
__init__.py

37 Bytes
use pypantograph for checking submitted statements 2 months ago
data.py

3.27 kB
use pypantograph for checking submitted statements 2 months ago
expr.py

5.4 kB
use pypantograph for checking submitted statements 2 months ago
message.py

1.88 kB
use pypantograph for checking submitted statements 2 months ago
search.py

15 kB
use pypantograph for checking submitted statements 2 months ago
server.py

23.2 kB
use pypantograph for checking submitted statements 2 months ago
test_message.py

640 Bytes
use pypantograph for checking submitted statements 2 months ago
test_search.py

1.62 kB
use pypantograph for checking submitted statements 2 months ago
test_server.py

13.7 kB
use pypantograph for checking submitted statements 2 months ago
utils.py

1.19 kB
use pypantograph for checking submitted statements 2 months ago