Skip to content

Commit

Permalink
installing HoTT as well
Browse files Browse the repository at this point in the history
  • Loading branch information
@CohenCyril
CohenCyril committed Jan 5, 2024
1 parent b72780a commit e817f49
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .devcontainer/Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,4 @@ RUN opam update -y
RUN opam install -y coq-lsp
RUN git clone -b strat --depth 1 https://github.com/ecranceMERCE/coq-elpi
RUN opam install -y ./coq-elpi
RUN opam install -y coq-hott.8.17

0 comments on commit e817f49

Please sign in to comment.