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 |
Polynomial | Data.SBV |
polynomial | Data.SBV |
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 |
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 |