Skip to content

consistently use bullets for goals in proofs#98

Merged
palmskog merged 1 commit intomasterfrom fix-proof-bulletsOct 20, 2023
+9-13

Commits

Commits on Oct 20, 2023