search

coq-community / hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
https://coq-community.org/hydra-battles/doc/hydras.pdf
MIT License
63 stars 12 forks source link

transfer goedel code, update documentation and Docker CI #138

Closed palmskog closed 1 year ago

palmskog commented 1 year ago

@Zimmi48 any chance of some help with Nix CI?

Zimmi48 commented 1 year ago

Yes, I will take care of this.

palmskog commented 1 year ago

@Zimmi48 I know you're busy, but just another ping here since hopefully this is not too much work. WIth Nix CI done and PR merged, I can take care of repo archiving and so on.

Zimmi48 commented 1 year ago

Yes, sorry for the delay. I was indeed planning this for today.

Casteran commented 1 year ago

Thanks @palmskog and @Zimmi48 !!!