Skip to content

phl: recheckable proof-nodes and the basis of the program-logic refactoring - #1151

Closed
strub wants to merge 1 commit into
mainfrom
phl/recheck-basis
Closed

phl: recheckable proof-nodes and the basis of the program-logic refactoring#1151
strub wants to merge 1 commit into
mainfrom
phl/recheck-basis

phl: recheckable proof-nodes and the basis of the program-logic refac…

129c528
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-commit-count
succeeded Oct 6, 2026 in 4s