Skip to content
push to main

[Usa2003P1] use omega to simplify proof of nat_mod_inv #1785

Sign in to view logs

[Usa2003P1] use omega to simplify proof of nat_mod_inv

[Usa2003P1] use omega to simplify proof of nat_mod_inv #1785

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build library and deploy dashboard to Github Pages
6m 35s
6m 35s