issues Search Results · repo:achlipala/frap language:Coq
Filter by
27 results
(62 ms)27 results
inachlipala/frap (press backspace or delete to remove)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: ...
fedeb95
- 2
- Opened on May 26, 2024
- #63
Disclaimer: I am a coq noob Edit: resolved by using a global opam switch
As stated in the .tex sources I used coq 8.16.0 (I also tried with 8.15.0 to 8.19.0). I installed coq through opam
coq:
opam ...
Lesenr1
- 3
- Opened on Feb 25, 2024
- #62
The Coq Proof Assistant, version 8.17.0
compiled with OCaml 4.14.0
macOS Big Sur
Version 11.5.2
At first, I was getting the following error
The default value for hint locality is currently global ...
melodicht
- 2
- Opened on Apr 28, 2023
- #60
On Windows 10, I downloaded the code file and open it in Visual Studio Code (vscoq version 0.3.7)
when I ran make in the terminal, I got the following error
pdflatex frap_book
process_begin: CreateProcess(NULL, ...
BraveMila
- 6
- Opened on Feb 8, 2023
- #59
I am trying to use the Coq files of the textbook, and ran into an issue when I ran make lib.
Steps to reproduce:
1. Clone repository
2. Run make lib
I get this as the output to make lib:
bhargav@bhargav-kk:/mnt/c/bhargav/prog/coq/frap$ ...
bhargavkulk
- 4
- Opened on Mar 9, 2022
- #58
I was wondering if there were any plans on releasing it there. Thanks!
brando90
- 7
- Opened on Apr 8, 2021
- #54
In our study group session today, we discussed FRAP chapter 18. We spent a while discussing the HtPar rule, because we
were wondering about r in the book s rendition vs tt in the Coq code. What occurred ...
mdempsky
- 1
- Opened on Sep 25, 2020
- #52
Something of a feature request, but perhaps it might be nice to have a Further Reading section at the end of each
chapter with links to some relevant papers/readings?
I ve got a list of papers somewhere ...
p0llard
- 1
- Opened on Jul 27, 2020
- #49
At the end of section 8.2, it s claimed that n - Top is the most precise answer for analyzing the doubling code. This is
true if we re talking about abstract states valid at any point during execution, ...
mdempsky
- Opened on May 14, 2020
- #47
Following the text:
We can also define natural comparison operators between assertions, overload- ing the usual notations for equivalence
and implication of propositions.
I believe that the arrows on ...
p0llard
- 3
- Opened on May 7, 2020
- #46
![Issue origami icon](/images/modules/search/issues.png)
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.![Issue origami icon](/images/modules/search/issues.png)
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.