search

move-language / move

Apache License 2.0
2.24k stars 676 forks source link

Fix typos in prover-guide.md #1074

Closed ksolana closed 9 months ago

ksolana commented 9 months ago

NFC.