Skip to content

fix: simplify rocq rules to work without toolchain

36ef86b
Select commit
Loading
Failed to load commit list.
Merged

fix: simplify rocq rules to work without toolchain #13

fix: simplify rocq rules to work without toolchain
36ef86b
Select commit
Loading
Failed to load commit list.