Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
68
stars
12
forks
source link
Update to latest Coq Nix Toolbox, remove explicit nixpkgs pin. #99
Closed
Zimmi48 closed 3 years ago