Skip to content
Snippets Groups Projects

Add a Notation for `sn`: strongly normalizing.

Merged Robbert Krebbers requested to merge robbert/sn into master
Loading