feat: link live.lean-lang.org to comparator.live.lean-lang.org feat: link live.lean-lang.org to comparator.live.lean-lang.org#11

robsimmons merged 2 commits into

nixos-settingsleanprover/lean4web:nixos-settingsfrom

nixos-comparator-2leanprover/lean4web:nixos-comparator-2Copy head branch name to clipboard