← NormaCore
Project files
- src13 files
- X8Cellulard12 files
- .gitignore1 KB
- CMakeLists.txt1 KB
- lake-manifest.json1 KB
- lakefile.lean1 KB
- lean-toolchain1 KB
- README.md5 KB
- X8Cellulard.lean1 KB
README.md
Loading README.md…
Files by @norma-core, at commit 0d17bb3, read from GitHub in your browser. Hardware license: Apache-2.0; software license: Apache-2.0. Robotheca doesn't review code: read it before running it.