Project files

• 📄ActionFailure.lean3 KB
• 📄ActionFailureScenarios.lean5 KB
• 📄Actuation.lean3 KB
• 📄ClosedLoopScenarios.lean3 KB
• 📄FaultMatrix.lean9 KB
• 📄Invariants.lean2 KB
• 📄Policy.lean4 KB
• 📄Scenarios.lean2 KB
• 📄State.lean4 KB
• 📄TraceScenarios.lean8 KB
• 📄Transition.lean3 KB
• 📄Types.lean3 KB

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.