waterproof icon indicating copy to clipboard operation
waterproof copied to clipboard

Published 20 hours ago • verified publisher icon impermeable

stable format for import and export

Open SeanMcCarren opened this issue 3 years ago • 1 comments

See specification.md for details on import/export

todo

  • [ ] I think we still need to support importing non-notebooks? So files that contain no previous notebook-structure in comments, but are just Coq code.
  • [ ] Testcases need to be changed?

SeanMcCarren avatar Feb 15 '22 11:02 SeanMcCarren