bedef
Results
11
issues of
bedef
Hi, I'm trying to build the project as stated in the README, but `make all` fails with make -f Makefile.coq make[1]: Entering directory '/home/bedef/Projects/coq/frap' /bin/sh: line 1: /snap/coq-prover/34/coq-platform/bin//coqc: No such...