https://github.com/project-oak/arcsjs-provable

https://github.com/project-oak/arcsjs-provable

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/project-oak/arcsjs-provable
• Owner: project-oak
• Archived: true
• Created: 2022-01-27T23:28:07.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-01-12T13:57:05.000Z (6 months ago)
• Last Synced: 2024-02-10T12:38:12.281Z (5 months ago)
• Language: Rust
• Size: 22.4 MB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 11
• Metadata Files:
  • Readme: README.md
  • Contributing: contributing.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - ArcsJs - Provable - set of ArcsJs focused tools for doing proofs on ArcsJs models. (Projects / Verification)

README

        
***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](./ibis/README.md) - a knowledge engine for type checking asynchronously communicating modules [![Ibis](https://github.com/googlestaging/arcsjs-provable/actions/workflows/ibis.yml/badge.svg)](https://github.com/googlestaging/arcsjs-provable/actions/workflows/ibis.yml)

# Contributing

Please see the project's [contributing guide](./contributing.md).

# License

Please see the project's [license](./LICENSE).