search

stepchowfun / proofs

My personal repository of formally verified mathematics.
Other
291 stars 12 forks source link

Add some missing punctuation #645

Closed stepchowfun closed 9 months ago

stepchowfun commented 9 months ago

Add some missing punctuation.

Status: Ready

Fixes: N/A