https://github.com/chancehudson/lurk-test
https://github.com/chancehudson/lurk-test
Last synced: over 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/chancehudson/lurk-test
- Owner: chancehudson
- Created: 2024-03-18T14:58:44.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-03-29T15:40:21.000Z (over 2 years ago)
- Last Synced: 2024-07-21T00:41:14.566Z (about 2 years ago)
- Language: Rust
- Size: 26.4 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# lurk-test
A repo to experiment with the lurk language and nova prover.
### Run
`cargo run --release`
Edit the `test.lurk` file to change the program being proven.
### Lurk repl
Use `!(help)` to show the help menu.