Skip to content

Merge branch 'main' into pfeifer/proofMgmtIterativeWalker

e066fd5
Select commit
Loading
Failed to load commit list.
Merged

ProofManagement extension: Iterative NodeIntermediateWalker to avoid stack overflows #3793

Merge branch 'main' into pfeifer/proofMgmtIterativeWalker
e066fd5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar