Poohbist Technology provides high quality software, specializing in provable programming languages. Festina lente. Bruta fulmina. Make haste slowly. Thunderbolts strike blindly.
NummSquared 2006a0 is a new well-founded functional foundation for logic, mathematics and computer science.
Short paper: "NummSquared: a New Foundation for Formal Methods"
Samuel Howse's completed PhD thesis: "NummSquared 2006a0 Explained"
Slides on NummSquared Coercion
Slides on NummSquared
Logician's Toolkit integrates various logical tools, including Coq, with MSBuild, the build system used by Microsoft Visual Studio .NET 2005.
For software engineering, computer support, digital media, data mining, research and customized training, ask Nummist Computer Consultants.
We work closely with our friends at Nummist Media and Eucatastrophic Creations.
Our fearless founder, formally Rt. Hon. Leo L. Lion (informally, Plumpy or Mr. P):
For two decades, Mr. P, the Aged Aged Man, was a patient but determined advocate of formal methods.
