Skip to content

Update BUpdPlain to use new spec pats

04e02c9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Unify handling of proof mode terms #107

Update BUpdPlain to use new spec pats
04e02c9
Select commit
Loading
Failed to load commit list.
build
succeeded Dec 20, 2025 in 51s