Skip to content

chore: store pre-built JS in source tree#165

Merged
Vtec234 merged 5 commits into
mainfrom
git-js
Mar 27, 2026
Merged

chore: store pre-built JS in source tree#165
Vtec234 merged 5 commits into
mainfrom
git-js

chore: bump @leanprover-community/proofwidgets4

9ee2925
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar