Skip to content

Update function explanations to new syntax

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

Update function explanations to new syntax #3811

Update function explanations to new syntax
441913c
Select commit
Loading
Failed to load commit list.
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
succeeded Apr 21, 2026 in 28m 47s