Lionrs: Capability-Bounded Autonomous Reasoning

A Formally Verified Agentic System

Licensing

This repository is licensed under the Apache License, Version 2.0. See LICENSE for the full text. Each .rs file carries an SPDX header, and each .lean file under proofs/ carries an Apache notice header (proofs/LICENSE).

Copyright © 2026 HaiyangLi