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
→

Metadata

Theorem Proving in Lean 4

Results 51 theorem_proving_in_lean4 issues
Sort by recently updated
recently updated
newest added

small but unpleasant typo

This can be confusing for the beginner at the given stage

stepanholub avatar stepanholub

← Metadata

141
Stars
79
Forks
Watchers

Owner

verified publisher icon leanprover

Metadata

Theorem Proving in Lean 4

Back