mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-24 16:08:55 +03:00
.. | ||
inputs | ||
src | ||
.gitignore | ||
Leo.toml | ||
README.md |
palindrome
Build Guide
To compile this Leo program, run:
leo build
To test this Leo program, run:
leo test
Development
To output the number of constraints, run:
leo build -d