Fix doc warnings, add doc to CI.

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Apache License 2.0

25 stars 9 forks source link

Closed tirix closed 7 months ago

tirix commented 7 months ago

Fixes #148 and adds a check in the CI so that similar warnings are caught in PRs.

tirix commented 7 months ago

These are only minor fixes, since there are no remarks I'm merging them now.