Index - P
| pAdd | Data.SBV |
| parseCWs | Data.SBV |
| pDiv | Data.SBV |
| pDivMod | Data.SBV |
| peek | |
| 1 (Function) | Data.SBV.Examples.BitPrecise.Legato |
| 2 (Function) | Data.SBV.Examples.Puzzles.U2Bridge |
| pMod | Data.SBV |
| pMult | Data.SBV |
| poke | Data.SBV.Examples.BitPrecise.Legato |
| polyDivMod | Data.SBV.Examples.Polynomials.Polynomials |
| Polynomial | Data.SBV |
| polynomial | Data.SBV |
| PowerList | Data.SBV.Examples.PrefixSum.PrefixSum |
| powerOfTwoCorrect | Data.SBV.Examples.BitPrecise.BitTricks |
| Predicate | Data.SBV |
| PrettyNum | Data.SBV |
| printBase | Data.SBV |
| Program | Data.SBV.Examples.BitPrecise.Legato |
| ProofError | Data.SBV |
| Provable | Data.SBV |
| prove | Data.SBV |
| proveThm | Data.SBV.Examples.Uninterpreted.AUF |
| proveWith | Data.SBV |
| ps | Data.SBV.Examples.PrefixSum.PrefixSum |
| Puzzle | Data.SBV.Examples.Puzzles.Sudoku |
| puzzle | Data.SBV.Examples.Puzzles.DogCatMouse |
| puzzle0 | Data.SBV.Examples.Puzzles.Sudoku |
| puzzle1 | Data.SBV.Examples.Puzzles.Sudoku |
| puzzle2 | Data.SBV.Examples.Puzzles.Sudoku |
| puzzle3 | Data.SBV.Examples.Puzzles.Sudoku |
| puzzle4 | Data.SBV.Examples.Puzzles.Sudoku |
| puzzle5 | Data.SBV.Examples.Puzzles.Sudoku |
| puzzle6 | Data.SBV.Examples.Puzzles.Sudoku |