Formalisation of Ethics

PROJECT

Part of: Guardians of Life

Fiscal Host: Open Collective Europe

With a formalisation of ethics we can prove at compile time that an AGI system is ethical.

This is Formalisation of Ethics's page Formalisation of Ethics

All ways to contribute

About

Our team

freeman42x

Admin

Let's get Haskell Editor Setup finished as soon...

Contribute

Become a financial contributor.

Financial Contributions

Custom contribution

Donation

Make a custom one-time or recurring contribution.