Actyx / Actyx/cambria

testing

Open
#2 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Idris
Stars
38
Forks
2
No merged PRs in 30d

Description

- [ ] verify theorems with proptest
- [ ] fuzz test against idris model
- [ ] finish holes in proof

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.