Products
Verified components, ready to use.
Drop-in parts the factory has already built and proven — each one carries a machine-checked proof that it does what it says, not just a test suite that happened to pass.
Verified finance
Aunty Prudence
Money maths you can prove — to the penny.
Formally-verified financial calculations in whole pennies (no floating point ever touches money),
callable from Excel, VBA, C#, Python, Java, Go — anything that speaks C. Income tax, VAT,
interest, splits, day-counts, and more.
628 obligations discharged
0 unproved
36 calculations
View Aunty Prudence →
More of the factory’s catalogue is being readied for off-the-shelf release. For a verified component built to your specification in the meantime, get in touch.