lean4
lean4
copied to clipboard
Published
20 hours ago
•
leanprover
Reame
Issues
doc: Add doc on LocalContext.lean
Open
bollu
opened this issue 2 years ago
• 0 comments
Jul 20 '22 01:07
bollu