Mobile jsCoq

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

Use it at https://mobile-jscoq.vercel.app.

Run

Install dependencies:

npm install

Start the development server:

npm run dev

Then open the URL printed by Vite, usually:

http://localhost:5173/

License

Mobile jsCoq is released under the GNU Affero General Public License v3.0 or later (AGPL-3.0-or-later).

This project depends on the jsCoq npm package and related @jscoq/* npm packages, which are also published under AGPL-3.0-or-later. If you deploy a modified version for users to access over a network, provide a clear link to the corresponding source code.