Skip to content

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

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 Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

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 Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue search results · GitHub