Documentation

LeanPool.NandakumarRamanaRao.HumanVerification

Imports

Init
LeanPool.NandakumarRamanaRao.HumanVerification.CauchyCrofton
LeanPool.NandakumarRamanaRao.HumanVerification.CauchyCroftonStatement
LeanPool.NandakumarRamanaRao.HumanVerification.Check
LeanPool.NandakumarRamanaRao.HumanVerification.EqualAreaEqualPerimeterPartitionWrapper
LeanPool.NandakumarRamanaRao.HumanVerification.InternalModel
LeanPool.NandakumarRamanaRao.HumanVerification.Main
LeanPool.NandakumarRamanaRao.HumanVerification.Transfer

Imported by

Supporting modules for Equal-area and equal-perimeter convex partitions.