PROGRAMMING IN FIRST PRINCIPLES
Principia is a formal programming, reasoning, and proof language.
It has been specifically designed to be accessible to programmers, mathematicians, and logicians, and unifies the process of programming with proving logical consistency and watertightness.
Principia was the first component of our evolving toolset, developed to support our engineering efforts. We have chosen to release it to the public, in order to encourage the adoption of safe and secure programming in logic.
You are welcome to co-create it with us.