Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

Last synced: 1 day 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 (almost 3 years ago)
Default Branch: main
Last Pushed: 2024-01-12T13:57:05.000Z (10 months ago)
Last Synced: 2024-05-22T20:32:52.250Z (6 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

Awesome Lists containing this project

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).