MyNixOS website logo
Description

A theorem environment package developed by an amateur, use with caution.