Correct by construction software development tool utilising novel and advanced executable formal specification.

Decentralized AI platform enabling decentralized development, collective intelligence and knowledge trading between its entire user base using logic-based AI.