One jupyter nb in which one can execute, coq, c++, python, haskell, and scala commands
Primary LanguageJupyter Notebook