litex-lang 0.9.75-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation
# Privacy Policy

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

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

This document is a practical summary, not legal advice.

## 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 the Litex website, use Litex tools, contact us, 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.

- 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, and contribution history, is public and may be indexed or copied by others.
- Website hosting may collect standard technical logs such as IP address, user agent, referrer, pages visited, and timestamps.
- Litex command-line tools do not send personal data to us by default. Local logs may be created on your own machine for debugging.

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

## 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

We do not sell personal data.

## Cookies and third parties

The Litex website 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 third-party services such as GitHub, Zulip, package registries, 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.

## Contact

For privacy questions, contact:

- litexlang@outlook.com

# Terms of Use

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

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.

## Changes

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

## Contact

For questions about these terms, contact:

- litexlang@outlook.com