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

project-oak/arcsjs-provable

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published