search

MathHubInfo / Legacy-localmh-docker

Legacy docker wrapper for lmh
1 stars 1 forks source link

add git lfs to the docker. #26

Open kohlhase opened 8 years ago

kohlhase commented 8 years ago

We are going to use that for tptp and OAF. cc: @cmaeder