Skip to content
Nix CI for bundle default

example of transfer of nat_rec to an abtract type + bugfix #121

Sign in to view logs

example of transfer of nat_rec to an abtract type + bugfix

example of transfer of nat_rec to an abtract type + bugfix #121

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 3s
coq-elpi
1m 53s
trocq
2m 13s
5m 9s