# Tutorial Introduction

Jiachen Shen and The Litex Team, 2026-05-06. Email: litexlang@outlook.com

Try all snippets in browser: https://litexlang.com/doc/Tutorial/Introduction

Markdown source: https://github.com/litexlang/golitex/blob/main/docs/Tutorial/Introduction.md

> **Beta notice:** Litex is still experimental. This tutorial is a good way to explore its ideas, but Litex should not be used for production or mission-critical proof work yet. The project is still testing a philosophy of making everyday mathematics precise, checkable, and scalable.

## What is Litex?

_Truth is ever to be found in simplicity, and not in the multiplicity and confusion of things._

_– Isaac Newton_

Litex is a simple and intuitive open-source language for mathematical proofs.

This tutorial section is still young. In the future, it will contain more math-oriented lessons and examples: how to write ordinary mathematical arguments in Litex, how to build proofs step by step, and how to use Litex for concrete topics.

For now, the best place to learn Litex is the manual:

1. [Manual Introduction](https://litexlang.com/doc/Manual#manual-introduction)
2. [Textbook: The Mechanics of Litex Proof](https://litexlang.com/doc/The_Mechanics_of_Litex_Proof/Introduction)

The manual explains the main mental model: Litex code is built from mathematical objects, facts about those objects, and statements that define, verify, store, and infer information.
