Skip to content
Nix CI for bundle default

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

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 #125

Triggered via push January 15, 2024 09:43
@CohenCyrilCohenCyril
pushed d2e0ea3
master
Status Success
Total duration 5m 28s
Artifacts –

nix-action-default.yml

on: push
coq
58s
coq
coq-elpi
1m 54s
coq-elpi
trocq
2m 14s
trocq
Fit to window
Zoom out
Zoom in