Also put results about `N` in a module.
Passed
Robbert Krebbers
created pipeline for commit
4bb9c971
, finished
Related merge request !465 to merge robbert/n_module
5 minutes 36 seconds, queued for 2 seconds