elan icon indicating copy to clipboard operation
elan copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

feat: `elan dump-state` json output

Open Kha opened this issue 8 months ago • 0 comments

Kha avatar Jun 14 '24 16:06 Kha