lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

doc: Add doc on LocalContext.lean

Open bollu opened this issue 3 years ago • 0 comments

bollu avatar Jul 20 '22 01:07 bollu