arcsjs-provable

Note: This project is no longer being maintained

ArcsJs - Provable

A set of ArcsJs focused tools for doing proofs on ArcsJs models.

This is not an officially supported Google product

Directory:

• Ibis - a knowledge engine for type checking asynchronously communicating modules

Contributing

Please see the project’s contributing guide.

License

Please see the project’s license.