Projects in Awesome Lists tagged with primitive-recursive-functions
A curated list of projects in awesome lists tagged with primitive-recursive-functions .
https://github.com/rocq-community/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq coq-nix-toolbox discrete-mathematics docker-coq-action formal-proofs hydra-battles ordinal-notations primitive-recursive-functions
Last synced: 09 Apr 2025
https://github.com/coq-community/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq coq-nix-toolbox discrete-mathematics docker-coq-action formal-proofs hydra-battles ordinal-notations primitive-recursive-functions
Last synced: 23 Mar 2025
https://github.com/deryeger/refunk
A library for studying primitive recursive functions with Kotlin.
computability computability-theory kotlin math math-library primitive-recursive-functions recursion recursive-functions
Last synced: 03 Apr 2025
https://github.com/deryeger/refunk-playground
An interactive Kotlin editor for the REFUNK library.
computability computability-theory kotlin math math-library primitive-recursive-functions recursion recursive-functions
Last synced: 13 Oct 2025