Skip to content

mono_nat algebra: add dfrac support and notation

Ralf Jung requested to merge ralf/mono_nat into master

This implements the mono_nat algebra part of #412.

Merge request reports