Installing PreTeXt using Windows Subsystem for Linux

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 […]