IndisputableMonolith.Superhuman.TechnologicalAccess

declarations in this module (14)

• inductive NautilusTier L24
• def tierPowerRange L31
• theorem tier_power_positive L37
• def requiredTier L43
• theorem classC_has_tier L53
• structure NautilusConfig L60
• def spiralRadius L67
• theorem spiralRadius_pos L71
• abbrev Schedule L80
• def scheduleNeutral L83
• def balancedSchedule L86
• theorem balancedSchedule_neutral L89
• structure SafetyRequirements L96
• def fullSafety L112