Skip to content

doc: use tactic_alt more, and follow the main conventions more

2a80e85
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(finiteness): support finiteness [h, h'] syntax #34039

doc: use tactic_alt more, and follow the main conventions more
2a80e85
Select commit
Loading
Failed to load commit list.