litex-lang 0.9.88-beta

The Formal Way to Write Math as It Looks
Documentation
# Privacy Policy and Terms of Use

Effective date: 2025-10-15
Last updated: 2026-05-09

This page explains how the Litex project handles privacy and basic terms for the Litex website, documentation, open-source repositories, community spaces, and related tools such as `golitex`.

This document is a practical summary, not legal advice.

## Privacy Policy

### Who we are

- Project: Litex
- Website: https://litexlang.com
- Main repository: https://github.com/litexlang/golitex
- Contact: litexlang@outlook.com

### Scope

This policy applies when you visit Litex websites or documentation, use Litex tools, contact the project, or interact with Litex community spaces such as GitHub or Zulip.

It does not cover third-party websites or services that we do not control.

### What we collect

We collect as little information as practical.

- Litex command-line tools do not send personal data to the Litex project by default.
- If you email us, open an issue, submit a pull request, or join a community discussion, we may receive the information you choose to provide.
- Public GitHub activity, including issues, pull requests, comments, commits, and contribution history, is public and may be indexed or copied by others.
- Website hosting, documentation hosting, or content delivery services may collect standard technical logs such as IP address, user agent, referrer, pages visited, and timestamps.
- Local logs, cache files, notebooks, or proof scripts may be created on your own machine by tools you run. These are not sent to us by default.

We do not currently operate user accounts for the Litex website or tools.

### What we do not do

- We do not sell personal data.
- We do not enable command-line telemetry by default.
- We do not intentionally collect local proof scripts, notebooks, or project files unless you choose to send or publish them.

### How we use information

We use information to:

- Operate and improve Litex projects, documentation, and tools.
- Respond to questions, issues, and support requests.
- Maintain project security and reliability.
- Understand website traffic where permitted.
- Comply with legal obligations.

### Cookies and third parties

Litex websites may use necessary cookies for basic functionality. If analytics or non-essential cookies are added, we will provide notice where required.

Litex may link to or rely on third-party services such as GitHub, Zulip, package registries, hosting providers, content delivery networks, or documentation hosts. Their own terms and privacy policies apply.

### Retention and rights

We keep information only as long as reasonably needed for the purposes above. Public open-source contributions may remain in project history indefinitely.

Depending on your location, you may have rights to access, correct, delete, or restrict use of your personal data. To make a request, contact litexlang@outlook.com.

### Security

We use reasonable measures to protect project systems and data, but no system is perfectly secure.

### Changes

We may update this policy from time to time. The “Last updated” date shows the latest revision.

### Privacy contact

For privacy questions, contact:

- litexlang@outlook.com

## Terms of Use

By using the Litex website, documentation, repositories, or tools, you agree to these basic terms. If you do not agree, please do not use them.

### Open source

Litex source code, tools, documentation, and examples are provided under the licenses stated in their repositories or files. Third-party dependencies may have their own licenses.

### Contributions

By contributing code, documentation, examples, issues, comments, or other materials, you confirm that you have the right to submit them and that they may be used under the applicable project license.

### Acceptable use

Please do not use Litex services or community spaces to:

- Violate laws or infringe rights.
- Upload malware or harmful content.
- Attack, disrupt, or gain unauthorized access to systems.
- Misrepresent your identity or affiliation.
- Harass others or abuse community spaces.

### Experimental status

Litex is currently beta software and an experimental research project. It is not ready for production or mission-critical proof work. Do not rely on it where incorrect output, bugs, or interruptions could cause serious harm.

### No professional advice

Litex is provided for educational, research, and development purposes. It is not legal, financial, medical, engineering, or other professional advice.

### Disclaimer

Litex websites, tools, documentation, and examples are provided “as is” and “as available,” without warranties of any kind. We do not promise that they will be error-free, secure, complete, or uninterrupted.

To the maximum extent permitted by law, the Litex project, maintainers, and contributors are not liable for damages arising from your use of Litex websites, tools, documentation, examples, or community spaces.

### Terms changes

We may update these terms from time to time. Continued use after changes means you accept the updated terms.

### Terms contact

For questions about these terms, contact:

- litexlang@outlook.com