Skip to content

Remove outdated docker section from INSTALL.md#3221

Open
SECtim wants to merge 1 commit intoFStarLang:masterfrom SECtim:patch-4
-11

Commits

Commits on Mar 11, 2024