coq_jupyter icon indicating copy to clipboard operation
coq_jupyter copied to clipboard
verified publisher icon EugeneLoy

Enforce cell evaluation order

Open EugeneLoy opened this issue 6 years ago • 0 comments

Followup for discussion started in #28.

TODO

EugeneLoy avatar Feb 18 '19 22:02 EugeneLoy