intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Enable tracer on \data and \record declarations

Open marat-rkh opened this issue 2 years ago • 0 comments

marat-rkh avatar Mar 24 '22 07:03 marat-rkh