Products
Verified components, ready to use.
Drop-in parts the factory has already built and proven — each one carries machine-checked contracts and a published count of what was discharged and what was not, rather than 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 getting ready for off-the-shelf release. For a verified component built to your specification — or an existing system refurbished to the same standard, proven where possible and automatically tested where not — get in touch.