theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

small but unpleasant typo

Open stepanholub opened this issue 7 months ago • 0 comments

This can be confusing for the beginner at the given stage

stepanholub avatar Jul 14 '24 11:07 stepanholub