Adapt to https://github.com/coq/coq/pull/19370 #426 Draft proux01 wants to merge 1 commit into ejgallego:main from proux01:coq_19370+3 −3 Conversation 0 Commits 1 Checks 4 Files changed 3 Conversation Contributor proux01 commented Oct 7, 2024 Adapt to coq/coq#19370 To be ...
git clone --recursive https://github.com/knelk/enerf cd enerf Install with conda conda env create -f environment.yml conda activate enerf Install with pip python3 -m venv env source env/bin/activate pip install -r requirements.txt Tested environments Ubuntu 20.04 with torch 1.10 & CUDA 11...
Releases notes are available at [GitHub releases.](https://zettagenomics.com/release-notes/) Maintainers The main developers and maintainers are: Ignacio Medina (im411@cam.ac.uk) (Founder and Project Leader) Susi Gallego (sgaort@gmail.com) ...
This branch is 5533 commits behind ejgallego/coq:master.Folders and files Latest commit Cannot retrieve latest commit at this time. History39,811 Commits .github boot checker clib config coqpp dev doc engine gramlib ide/coqide interp kernel lib library man parsing plugi...