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

Use eval! to evaluate functions that use sorry.

Open lcrh opened this issue 4 months ago • 1 comments

lcrh avatar Oct 23 '24 00:10 lcrh