Commit History

Update server.py
44d078f
Running
verified

dx2102 commited on

Update README.md
3d544a7
verified

dx2102 commited on

Update extract.lean
13b6cf4
verified

dx2102 commited on

Update extract.lean
ec0626f
verified

dx2102 commited on

Update server.py
883c5b4
verified

dx2102 commited on

Update server.py
12f3633
verified

dx2102 commited on

Update server.py
e524d59
verified

dx2102 commited on

Update README.md
3ebd253
verified

dx2102 commited on

Update extract.lean
6fbc7f0
verified

dx2102 commited on

Update server.py
7b80965
verified

dx2102 commited on

Upload 2 files
19cafec
verified

dx2102 commited on

Update Dockerfile
a08a0df
verified

dx2102 commited on

Upload 2 files
b65779c
verified

dx2102 commited on

Delete server_embed.py
87b632e
verified

dx2102 commited on

Delete ast.txt
e44c693
verified

dx2102 commited on

Upload Dockerfile
9ec1c52
verified

dx2102 commited on

Upload 3 files
e8eca0b
verified

dx2102 commited on

initial commit
a98a2b2
verified

dx2102 commited on