Skip to content

differentiate root and nested goals

0cb800e
Select commit
Loading
Failed to load commit list.
Merged

inspect: closer to proof trees for coherence #115838

differentiate root and nested goals
0cb800e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs