Terms of Service

Last updated: July 2026

Welcome to quasarium.top (the “Site”), a blog dedicated to the Lean theorem prover, its ecosystem, and the practice of formal verification. These Terms of Service (“Terms”) govern your access to and use of the Site, including reading articles, submitting comments, and any other interactive features we may offer. By using the Site, you agree to be bound by these Terms. If you do not agree, please do not use the Site.

1. Acceptance of Terms

By accessing or using quasarium.top, you confirm that you have read, understood, and accept these Terms, and that you will comply with all applicable laws and regulations. If you are using the Site on behalf of an organization, you represent that you have the authority to bind that organization to these Terms. We reserve the right to update or modify these Terms at any time; changes will be effective immediately upon posting. Your continued use after any changes constitutes acceptance of the new Terms.

2. Description of the Service

quasarium.top is a non-commercial blog that publishes articles, tutorials, commentary, and community discussions about the Lean programming language and proof assistant. The Site allows users to:

• Read and browse publicly available articles and resources.
• Post comments on articles (where enabled).
• Access educational content related to Lean and formal mathematics.

There is no e-commerce, checkout, or payment processing on this Site. All content is provided for informational and educational purposes only.

3. User Conduct and Responsibilities

When using quasarium.top, you agree to:

• Respect the community: do not post spam, abusive, defamatory, or harassing content.
• Keep comments relevant to the topic of Lean and the specific article.
• Not attempt to disrupt the Site’s security, availability, or integrity.
• Not impersonate any person or entity, or misrepresent your affiliation.
• Not use automated tools (bots, scrapers) to access or copy content without prior written permission.

We reserve the right to moderate, edit, or remove any user-generated content (including comments) that violates these Terms or is otherwise inappropriate, at our sole discretion and without notice.

4. Intellectual Property

4.1 Site Content

All original articles, graphics, logos, and written material on quasarium.top are owned by the Site operator unless otherwise credited. You may read, download, and print content for personal, non-commercial use only. Any republication, redistribution, or commercial use of our content requires explicit written permission from [email protected].

4.2 User Contributions

By submitting a comment or any other contribution to the Site, you grant quasarium.top a non-exclusive, royalty-free, worldwide, perpetual license to use, reproduce, modify, publish, and display that contribution in connection with the Site. You represent that your contribution is original and does not infringe any third-party rights. You retain ownership of your contribution, but you may not withdraw the license granted to us.

4.3 Third-Party Content

Some articles may reference or embed content from third parties (e.g., code snippets from GitHub, excerpts from academic papers). Such content remains the property of its respective owners and is used for commentary, criticism, or educational purposes under fair use principles.

5. Privacy and Data Collection

We respect your privacy. quasarium.top does not sell or rent personal information. We may collect minimal data (e.g., IP addresses, browser type) for analytics and security purposes. If you choose to leave a comment, you may provide a name and email address; this information is stored only as necessary to display the comment and to contact you regarding your comment if needed. For full details, please see our Privacy Policy (available on the Site). By using the Site, you consent to such data collection as described.

6. Disclaimer of Warranties

THE SITE AND ALL CONTENT ARE PROVIDED “AS IS” AND “AS AVAILABLE” WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR IMPLIED. TO THE FULLEST EXTENT PERMITTED BY LAW, WE DISCLAIM ALL WARRANTIES, INCLUDING BUT NOT LIMITED TO MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, AND NON-INFRINGEMENT. WE DO NOT WARRANT THAT THE SITE WILL BE UNINTERRUPTED, ERROR-FREE, OR FREE OF HARMFUL COMPONENTS. CONTENT ON LEAN IS PROVIDED FOR EDUCATIONAL PURPOSES AND SHOULD NOT BE CONSTRUED AS PROFESSIONAL ADVICE.

7. Limitation of Liability

IN NO EVENT SHALL QUASARIUM.TOP, ITS OPERATORS, OR AFFILIATES BE LIABLE FOR ANY INDIRECT, INCIDENTAL, SPECIAL, CONSEQUENTIAL, OR PUNITIVE DAMAGES ARISING OUT OF OR RELATED TO YOUR USE OF THE SITE, INCLUDING BUT NOT LIMITED TO LOSS OF DATA, LOSS OF PROFITS, OR INTERRUPTION OF SERVICE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. YOUR SOLE REMEDY FOR DISSATISFACTION WITH THE SITE IS TO STOP USING IT.

8. Third-Party Links

The Site may contain links to external websites (e.g., GitHub, academic repositories, community forums). These links are provided for convenience only; we do not endorse or assume responsibility for the content, privacy practices, or terms of any third-party site. You access such links at your own risk.

9. Termination

We reserve the right to suspend or terminate your access to the Site at any time, without prior notice, for any reason, including violation of these Terms. Upon termination, you must cease all use of the Site. Provisions of these Terms that by their nature should survive termination (including intellectual property, disclaimers, and limitations of liability) shall continue to apply.

10. Governing Law and Dispute Resolution

These Terms shall be governed by and construed in accordance with the laws of the State of Illinois, United States, without regard to its conflict of law principles. Any disputes arising out of or related to these Terms or your use of the Site shall be resolved exclusively in the state or federal courts located in Peoria County, Illinois. You consent to the personal jurisdiction of such courts and waive any objection based on improper venue.

11. Contact Information

If you have any questions, concerns, or requests regarding these Terms, please contact us:

• Email: [email protected]
• Postal: 6040 Main St, Peoria, Illinois 38388

We aim to respond to inquiries within a reasonable timeframe.

---

These Terms of Service were last reviewed and updated in July 2026. Thank you for being part of the quasarium.top community and for your interest in Lean.