Skip to content
This repository has been archived by the owner on Mar 13, 2024. It is now read-only.

Latest commit

 

History

History
17 lines (10 loc) · 632 Bytes

README.md

File metadata and controls

17 lines (10 loc) · 632 Bytes

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 Ibis

Contributing

Please see the project's contributing guide.

License

Please see the project's license.