Pinned Loading

1. mobile-jscoq mobile-jscoq Public

   A phone-friendly Coq interface for writing and stepping through proofs in the browser, powered by jsCoq.

   JavaScript 1

2. lambda_brainf*ck_interpreter.ipynb lambda_brainf*ck_interpreter.ipynb

   1

   {

   2

     "nbformat": 4,

   3

     "nbformat_minor": 0,

   4

     "metadata": {

   5

       "colab": {