MyNixOS website logo
Description

Opinionated tool to typeset theorems, lemmas and such.