Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/nethermindeth/cairo-property-tester
A property tester for Cairo VM's based on the Lean 4 formalisation of Cairo
https://github.com/nethermindeth/cairo-property-tester
nubia
Last synced: 10 days ago
JSON representation
A property tester for Cairo VM's based on the Lean 4 formalisation of Cairo
- Host: GitHub
- URL: https://github.com/nethermindeth/cairo-property-tester
- Owner: NethermindEth
- Created: 2023-09-28T13:48:41.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-10-16T02:49:44.000Z (about 1 year ago)
- Last Synced: 2024-11-24T20:36:37.337Z (about 1 month ago)
- Topics: nubia
- Language: Lean
- Homepage:
- Size: 52.7 KB
- Stars: 0
- Watchers: 6
- Forks: 0
- Open Issues: 1