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

Update Std -> Batteries

Open Timeroot opened this issue 8 months ago • 0 comments

This fixes a link to Std to a link to Batteries.

Timeroot avatar Jun 05 '24 15:06 Timeroot