MyNixOS website logo
Description

Straightforward and functional theorem/proof environments.