lean icon indicating copy to clipboard operation
lean copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

WIP: cwd in environment objects

Open cipher1024 opened this issue 5 years ago • 0 comments

Pull Request Description

Ensure you have read the contribution guide before filling in a description of the pull request, regardless of whether it is complete or a work in progress. All Pull Requests should include test case(s) which demonstrates the intended behavior of a feature, or a regression test demonstrating that the fix resolves the issue.

cipher1024 avatar May 17 '19 20:05 cipher1024