theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard
verified publisher icon leanprover

Rust note, typo fix

Open mhartl opened this issue 1 year ago • 0 comments

Some users may not have Rust installed, in which case the cargo command will fail. The added note addresses this.

The other change corrects a common misspelling of “GitHub”.

mhartl avatar Dec 23 '24 00:12 mhartl