https://github.com/unimath/unimath-jscoq
UniMath in jsCoq
https://github.com/unimath/unimath-jscoq
Last synced: about 1 month ago
JSON representation
UniMath in jsCoq
- Host: GitHub
- URL: https://github.com/unimath/unimath-jscoq
- Owner: UniMath
- Created: 2023-04-13T06:53:32.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2023-11-09T07:34:16.000Z (over 2 years ago)
- Last Synced: 2025-03-08T23:07:40.953Z (about 1 year ago)
- Language: HTML
- Size: 10.7 KB
- Stars: 2
- Watchers: 4
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Contains the files necessary for building the UniMath plugin for jsCoq
## Installation
Tested on Ubuntu 22.04.3. Did not work out of the box, so improvements are still necessary.
### Getting the prerequisites
```sh
# Install applications
sudo apt update
sudo apt install git make docker.io opam
# The newest version of nodejs is not available via apt, so we need to install it via snap
snap install node --classic
# Dune is available via the opam package manager
opam init
opam install dune coq # Not sure whether coq is necessary
# Make sure that docker has the right permissions. See for example https://phoenixnap.com/kb/docker-permission-denied
sudo groupadd -f docker
sudo usermod -aG docker $USER
newgrp docker
# Build the plugin itself
git clone https://github.com/UniMath/UniMath-jsCoq.git
cd UniMath-jsCoq
make setup
make
```