coq-community/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
CoqMIT
Stargazers
- 573Leipzig
- ana-borges
- anasazi
- anton-trunovhttps://tonstudio.io
- AppServiceProviderDhaka, Bangladesh
- atildeAsheville, NC
- austinmccalley
- ayberktUniversity of Birmingham
- AYUSHMITUSA
- BalanceYan
- codyroux
- cpitclaudelEPFL
- cpresseyOffice... submarine!
- DanilaFeHewlett Packard Enterprise
- euisunyUniversity of Pennsylvania
- ghuysmans@isfath
- houdamouhcine
- jiangsy
- JuanCoRo@runtimeverification
- lalorazor
- minkiminki
- nikitavoloboevMadrid
- notarealdeveloper@thedynamiclinker
- oslvbo
- PDP-11
- pejvanCurrently Paris
- sailfish009freelancer
- ShuyangLiu
- sisy4th
- smondetNew York, NY
- smorimoto@ocaml @tc39
- start974Paris
- theryINRIA
- vonaviHuawei Technologies Co. Ltd
- xvw@funkywork, @tarides
- yak1exJapan