Installing PreTeXt using Windows Subsystem for Linux
Suburban Lion's Blog [Unofficial]
May 31, 2026
Hello! Welcome to another installment of “How to get math software working in the Windows Subsystem for Linux”. Last time I set up Lean4 in Emacs using Debian, but this time we’re branching off into using a project called PreTeXt. PreTeXt is basically a system designed explicitly for authoring math papers and textbooks using a […]
Discussion in the ATmosphere