Skip to content

chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) - #141

Closed
avrabe wants to merge 16 commits into
mainfrom
chore/bump-rules-rocq-rust
Closed

chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI)#141
avrabe wants to merge 16 commits into
mainfrom
chore/bump-rules-rocq-rust

proofs(wip): HasType + canonical_forms foundation for TermSemantics (…

3789467
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar