# Missing \`stack-compiler\` folder if the SF4 book

**URL:** <https://discourse.rocq-prover.org/t/missing-stack-compiler-folder-if-the-sf4-book/2957>\
**Category:** Miscellaneous\
**Tags:** software-foundations\
**Created:** [March 4, 2026, 10:33am UTC](https://discourse.rocq-prover.org/t/missing-stack-compiler-folder-if-the-sf4-book/2957 "2026-03-04T10:33:30Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![gugo](https://avatars.discourse-cdn.com/v4/letter/g/9fc29f/32.png) [@gugo](https://discourse.rocq-prover.org/u/gugo)\
**Post date:** [March 4, 2026, 10:33am UTC](https://discourse.rocq-prover.org/t/missing-stack-compiler-folder-if-the-sf4-book/2957/1 "2026-03-04T10:33:30Z")

</div>

Hey, I am currently studying the SF books in my free time and I can’t find the `stack-compiler` folder mentioned in chapter `QuickChickTool.v` for the fourth Software Foundations book: QuickChick: Property-Based Testing in Rocq.

This folder is supposed to contain the `Exp.v` and `Stack.v` files.

I didn’t find it in the [latest version of the book](https://softwarefoundations.cis.upenn.edu/qc-current/index.html) (2026-01-07) nor in online mirrors from several years ago.

However, I found the folder (I think) in the [QuickChick repo](https://github.com/QuickChick/QuickChick/tree/master/examples/stack-compiler). I don’t know if this is intended or if something is missing in the books source code? (Or if I just missed something…)

Cheers