Session pGCL
View
theory dependencies
View
document
View
outline
Theories
Misc
Expectations
Transformers
Induction
Embedding
Healthiness
Continuity
LoopInduction
Sublinearity
WellDefined
Algebra
StructuredReasoning
Automation
File ‹pVCG.ML›
Determinism
Loops
Termination
pGCL
Primitives
LoopExamples
Monty