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 (2026-01-07) nor in online mirrors from several years ago.
However, I found the folder (I think) in the QuickChick repo. 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