Skip to content

Add line break for screen reading

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

Fix typos related to axiomatic derivations #409

Add line break for screen reading
dfaf322
Select commit
Loading
Failed to load commit list.
build_latex
succeeded Nov 1, 2025 in 5m 35s