GitHub - sto0pkid/Godelian: Godelian stuff in Agda

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
FOL		FOL
MuRecursive		MuRecursive
TuringMachine		TuringMachine
Util		Util
AlgorithmicRandomness.agda		AlgorithmicRandomness.agda
Base2.agda		Base2.agda
Basic.agda		Basic.agda
Combinators.agda		Combinators.agda
Determinism.agda		Determinism.agda
FOL.agda		FOL.agda
Godelian.agda		Godelian.agda
HaltingProblemGameTheory.agda		HaltingProblemGameTheory.agda
MuRecursive.agda		MuRecursive.agda
PR.agda		PR.agda
Pidgeonhole.agda		Pidgeonhole.agda
PidgeonholeInfinite.agda		PidgeonholeInfinite.agda
Root.agda		Root.agda
SKI.agda		SKI.agda
TMExample.agda		TMExample.agda
TuringMachine1.agda		TuringMachine1.agda
TuringMachine2.agda		TuringMachine2.agda
TuringMachine3.agda		TuringMachine3.agda
TuringMachine4.agda		TuringMachine4.agda