FormaTeX
\usepackage{formatex}

LaTeX sansles frictions.

Rédigez et compilez du LaTeX dans votre navigateur — sans installation.

Générez des PDF par programme. Sans serveur, sans TeX Live.

Un assistant IA qui explique et corrige vos erreurs.

Votre premier PDF en moins de 30 secondes. Gratuit pour démarrer.

thesis.tex
main.tex
\documentclass[12pt]{article}
\usepackage{amsmath, amssymb, amsthm}
\usepackage[margin=1in]{geometry}
\usepackage{hyperref}
 
\title{Real Analysis — Lecture Notes}
\author{Jane Smith}
\date{\today}
 
\begin{document}
\maketitle
 
\section{Introduction}
 
Let $f: \mathbb{R} \to \mathbb{R}$ be a
continuous function. We define:
 
\begin{equation}
\int_{-\infty}^{\infty} f(x)\,dx
= \lim_{n \to \infty} \sum_{k=1}^{n}
f(x_k)\,\Delta x
\end{equation}
 
\begin{theorem}
If $f$ is integrable on $[a,b]$,
then $\exists\, M > 0$ such that
$|f(x)| \leq M$ for all $x \in [a,b]$.
\end{theorem}
 
% Proof sketch
\begin{proof}
By the extreme value theorem,
$f$ attains its max on $[a,b]$.
\end{proof}
 
\section{Riemann Integrability}
 
A bounded function $f$ is Riemann
integrable on $[a,b]$ if and only if:
 
\begin{equation*}
\sup_P\, L(f,P) = \inf_P\, U(f,P)
\end{equation*}
 
where $L(f,P)$ and $U(f,P)$
denote the lower and upper Darboux sums
for partition $P$ of $[a,b]$.
 
\end{document}
Preview
Live

Real Analysis — Lecture Notes

Jane Smith · March 2025

1  Introduction

Let f : ℝ → ℝ be continuous. We define the Riemann integral as:

∫−∞∞ f(x) dx = limn→∞ Σ f(xk) Δx
Theorem 1. If f is integrable on [a,b], then ∃ M > 0 s.t. |f(x)| ≤ M.

2  Riemann Integrability

A bounded function f is integrable on [a,b] iff:

supP L(f,P) = infP U(f,P)

where L and U denote the lower and upper Darboux sums for partition P.

Claude
Cursor
VS Code
Windsurf
GitHub
n8n
OpenAI
Python
Docker
Node.js
Go
npm SDK
Claude
Cursor
VS Code
Windsurf
GitHub
n8n
OpenAI
Python
Docker
Node.js
Go
npm SDK
npm SDK
Go
Node.js
Docker
Python
OpenAI
n8n
GitHub
Windsurf
VS Code
Cursor
Claude
npm SDK
Go
Node.js
Docker
Python
OpenAI
n8n
GitHub
Windsurf
VS Code
Cursor
Claude

\section{Pourquoi FormaTeX}

Tous les points de friction de LaTeX. Résolus.

Que vous rédigiez une thèse ou construisiez un pipeline IA, les obstacles ont disparu.

5 Go de TeX Live, juste pour compiler un PDF

Trois lignes de code. PDF retourné.

Aucune installation. Aucun conteneur Docker. Aucune gestion de paquets. Envoyez votre LaTeX en POST, recevez un PDF. L'ensemble de l'infrastructure TeX Live tourne de notre côté.

Le LaTeX généré par LLM échoue 30 à 40 % du temps

Smart Compile corrige automatiquement les erreurs.

Paquets manquants, environnements non fermés, mauvais échappement — les LLM ratent constamment le LaTeX. Smart Compile détecte les échecs et applique des corrections IA avant de renvoyer une erreur à vos utilisateurs.

Le niveau gratuit d'Overleaf peine à gérer de vrais projets

Un éditeur complet. Projets illimités. IA incluse.

L'éditeur FormaTeX est un IDE LaTeX complet dans le navigateur. Projets multi-fichiers, aperçu PDF en direct, panneau de plan, palette de symboles, historique des fichiers. Le niveau gratuit inclut 15 compilations et 5 requêtes IA par mois.

Des erreurs de compilation cryptiques sans aucune aide

L'IA explique l'erreur et suggère la correction.

Collez un journal de compilation défaillant. L'assistant IA le décompose en français courant, identifie la cause racine et génère du LaTeX corrigé. Plus besoin de deviner ce que signifie « Undefined control sequence ».

Collaborer sur LaTeX avec un directeur de thèse est pénible

Édition multi-utilisateurs en temps réel. Intégrée.

Invitez des collaborateurs par e-mail. Attribuez des rôles d'éditeur ou de lecteur. Voyez les indicateurs de présence montrant qui est dans le document. Les modifications se synchronisent en direct sur toutes les sessions ouvertes.

Cauchemar de sécurité en exécutant LaTeX sur vos serveurs

Exécution en bac à sable. Zéro rétention des données.

L'échappement shell est désactivé. Les E/S de fichiers sont verrouillées. Les commandes dangereuses sont bloquées au niveau du moteur. Vos fichiers sources sont supprimés immédiatement après la compilation — nous ne stockons jamais vos documents.

\section{Comment ça fonctionne}

Trois flux de travail. Une seule plateforme.

Pour les rédacteurs

Ouvrez un navigateur. Votre IDE LaTeX complet se charge instantanément — rien à installer.

Pour les développeurs

Un seul endpoint. Envoyez du LaTeX en POST, recevez un PDF. Quatre moteurs, synchrone et asynchrone.

Pour les développeurs IA

Le LaTeX généré par LLM plante. Smart Compile le corrige avant que vos utilisateurs ne s'en aperçoivent.

~/formatex
curl -X POST https://api.formatex.io/api/v1/compile \
  -H "X-API-Key: fex_a8k2mP9..." \
  -H "Content-Type: application/json" \
  -d '{"latex": "\\documentclass{article}...", "engine": "pdflatex"}'
compiling
[pdflatex] Processing document.tex
[pdflatex] Pass 1/1 completed
[pdflatex] Output: document.pdf (24,891 bytes)
[pdflatex] Duration: 142ms
response
HTTP/1.1 200 OK
Content-Type: application/pdf
X-Compile-Duration-Ms: 142
X-Engine: pdflatex

-> document.pdf (24.3 KB)
Lire la doc API

\section{Fonctionnalités}

Éditeur. API. IA. Une seule plateforme.

Au-delà du compilateur.

Une IA qui comprend LaTeX.

Corrigez les erreurs, expliquez les commandes, générez des sections — avec le contexte complet du document.

Assistant IA
main.texline 12
11\begin{equation}
12\intergral_{-\infty} x dx
13\end{equation}
! Undefined \intergral — line 12
Corriger cette erreur

Typo: \intergral → should be \integral. Here's the fix:

$\int_{-\infty}^{\infty} f(x)\,dx$
Rédiger un court résumé
\begin{abstract}
We examine the Lorentz
factor in special relativity...
\end{abstract}
Posez une question sur votre document...

Éditez ensemble, en direct.

Invitez des co-auteurs. Voyez chaque curseur. Travaillez ensemble.

main.tex
SK
AR
Yo
3 en cours d'édition
1\documentclass{article}
2\begin{document}
3\section{Introduction}Sarah
4The theory of specialAlex
5relativity states...

Du LaTeX qui se corrige lui-même.

Détecte les échecs, applique des corrections IA, réessaie silencieusement.

compile/smart
[1/2] pdflatex main.tex
! Undefined \maketitle
Correction IA appliquée
[2/2] pdflatex main.tex
paper.pdf generated
2 passes · 891 mssuccès

Démarrez depuis un modèle.

Plus de 40 documents prêts à l'emploi. Cliquez, personnalisez, compilez.

Templates
Article académiquearticle
CV / Curriculum Vitæcv
Factureinvoice
Présentationbeamer
40+ modèlesParcourir les modèles →

API prête pour la production.

Générez des clés, suivez l'utilisation par clé, faites pivoter sans interruption.

API Keys
Production
fex_live_sk_••••••••••••3f2a
Utilisation124 / 500
CI/CD
fex_live_sk_••••••••••••a77b
Utilisation501 / 500

Votre agent IA, maintenant natif LaTeX.

Claude, Cursor et VS Code peuvent compiler du LaTeX en votre nom — sans curl, sans configuration.

Claude
Cursor
VS Code
call compile_latex({
engine: "pdflatex",
file: "thesis.tex"
})
result
→ thesis.pdf (142 ms)
Docs MCP →
Explorer toutes les fonctionnalités

\integrations{all}

Compatible avec votre stack.

MCP pour les agents IA. API REST pour tout le reste.

Toutes les intégrations
Claude Code
MCP server
Cursor
MCP server
VS Code
MCP server
Windsurf
MCP server
GitHubNEW
Sync projects
n8n
REST API
Python
Python SDK
Docker
REST API
OpenAI
REST API
Node.js
REST API
Go
REST API
npm SDK
JS / TS

...et toute stack capable de faire une requête HTTP.

\section{Moteurs}

Quatre moteurs LaTeX.

Choisissez le bon outil pour chaque document.

pdfLaTeX

The workhorse. Fast, reliable, and battle-tested with the widest package support.

Standard documentsmathType1 fonts
XeLaTeX

Unicode-native. Use any system font — Arabic, CJK, OpenType, custom typefaces all just work.

LuaLaTeX

Lua scripting inside your document. Programmatic content, dynamic tables, advanced typography.

latexmk

Runs as many passes as needed. Citations, cross-references, and indices — all resolved automatically.

~/formatex — pdflatex
\documentclass[12pt]{article}
\usepackage{amsmath, amssymb}
\usepackage[margin=1in]{geometry}

\title{Fourier Analysis}
\author{Jane Smith}
\date{\today}

\begin{document}
\maketitle

\section{Transform Definition}
The Fourier transform of $f(t)$ is:
\[
  \hat{f}(\xi) = \int_{-\infty}^{\infty}
    f(t)\, e^{-2\pi i \xi t}\, dt
\]

\section{Parseval's Theorem}
For square-integrable functions:
\[ \int_{-\infty}^{\infty} |f(t)|^2\, dt
   = \int_{-\infty}^{\infty} |\hat{f}(\xi)|^2\, d\xi \]

\end{document}

\section{Cas d'usage}

Conçu pour tous ceux qui travaillent avec LaTeX.

Que vous rédigiez votre thèse ou construisiez un pipeline IA, les frictions LaTeX ont disparu.

Développeurs d'applications IA

Équipes développant des applications IA qui produisent du LaTeX

Les LLM génèrent du LaTeX en permanence. Smart Compile détecte et corrige automatiquement les sorties LLM défectueuses avant qu'elles n'atteignent vos utilisateurs. Un seul appel, aucune infrastructure, aucune gestion d'erreurs de votre côté.

Étudiants & Chercheurs

Doctorants, universitaires et rédacteurs de thèses

Un éditeur LaTeX moderne avec une IA qui explique vos erreurs et suggère des corrections. Collaborez avec votre directeur en temps réel. Aucune configuration, aucune installation. Un Overleaf en mieux.

Plateformes EdTech

Technologies éducatives au service des étudiants et enseignants

Générez des examens à forte densité mathématique, des feuilles de travail et des supports de cours sous forme de beaux PDF à grande échelle. L'API gère la compilation — vous gérez l'expérience d'apprentissage.

Automatisation de documents

Générateurs de factures, certificats et rapports

Définissez un modèle LaTeX une fois. Passez des variables JSON à l'exécution. Recevez un PDF pixel-perfect. Une meilleure typographie que HTML vers PDF, sans gérer une installation TeX.

Développeurs individuels

Développeurs solo et créateurs indépendants

Évitez l'installation de 5 Go de TeX Live. Envoyez votre LaTeX en POST, recevez un binaire PDF en quelques millisecondes. Niveau gratuit, sans carte bancaire, opérationnel en 30 secondes.

\section{API}

Un seul point de terminaison.
N'importe quelle pile.

Envoyez votre source LaTeX. Recevez un PDF. Quatre moteurs, synchrone et asynchrone — sans SDK, sans chaîne d'outils, sans configuration.

RESTHTTP standard. Sans SDK, sans bibliothèque client requise.
4 moteurspdflatex, xelatex, lualatex, latexmk — choisissez par requête.
sync/asyncPDF instantané dans le corps de la réponse, ou webhook à la fin.
Lire la documentation API
curl -X POST https://api.formatex.io/api/v1/compile \
  -H "X-API-Key: fex_a8k2mP9..." \
  -H "Content-Type: application/json" \
  -d '{
    "latex": "\\documentclass{article}\\begin{document}Hello, World!\\end{document}",
    "engine": "pdflatex"
  }' \
  --output document.pdf
réponse
200 OK
HTTP/1.1 200 OK
Content-Type: application/pdf
Content-Disposition: attachment; filename=document.pdf
X-Job-ID: 550e8400-e29b-41d4-a716-446655440000
X-Compile-Duration-Ms: 287

← binary PDF (48,291 bytes)

\section{Tarifs}

Tarification simple et transparente.

Commencez gratuitement, évoluez au rythme de votre croissance.

Free

Explore the platform

$0

15

API/mo

5

requêtes IA/mois

  • Moteurs pdflatex & xelatex
  • 2 clés API · 5 projets
  • 1 Mo de taille de fichier max
  • Délai de compilation 30s
  • Accès API REST
  • Support communautaire
Start free
Pro

For indie developers

$4.99/mois

500

API/mo

150

requêtes IA/mois

  • Les 4 moteurs
  • 5 clés API · 3 collaborateurs
  • 10 Mo max · délai 120s
  • 3 modèles personnalisés
  • Streaming & asynchrone
  • Limite souple — aucun blocage strict
Start building
MaxRecommandé

For production apps

$14.99/mois

2,000

API/mo

1,000

requêtes IA/mois

  • Les 4 moteurs
  • 15 clés API · 6 collaborateurs
  • 25 Mo max · délai 300s
  • File prioritaire + webhooks
  • Sélection du modèle IA
  • 25 modèles personnalisés
Get started
Enterprise

For high-volume teams

$49.99/mois

15,000

API/mo

5,000

requêtes IA/mois

  • Les 4 moteurs
  • 50 clés API · 15 collaborateurs
  • Webhooks + alertes Slack
  • SLA 99,9 % de disponibilité
  • Support dédié
  • Projets & modèles illimités
Contact us
Aucune carte bancaire requiseRésiliation à tout momentAccès API inclus sur tous les plans
Voir tous les détails des tarifs

\section{FAQ}

Questions fréquentes.

Tout ce que vous devez savoir avant votre première compilation.

\end{document}

Votre premier PDF. En 30 secondes.

Rien à installer. Gratuit pour démarrer.

pour les rédacteurs
Ouvrir l'éditeur
pour les développeurs
Lire la doc API
No credit card required15 free API compilations/moCancel anytime

Une chose rapide

Nous suivons l'utilisation anonyme — pages vues, utilisation des fonctionnalités, événements de compilation — pour comprendre ce qui fonctionne et ce qui ne fonctionne pas. Pas de publicité, pas de données personnelles, pas de partage avec des tiers.

Politique de cookies