Replies: 1 comment
-
|
The sources for the book are in https://github.com/FStarLang/PoP-in-FStar. A PR or issue there would be most welcome! |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I am reading through the book and noticing typos. Is there a systematic way or even a contact I can send corrections to?
Beta Was this translation helpful? Give feedback.
All reactions