Allow Verso preview in lean4web for correctly configured projects#14

robsimmons merged 1 commit into

leanprover:nixosleanprover/lean4web:nixosfrom

robsimmons:versobox-2robsimmons/lean4web:versobox-2Copy head branch name to clipboard