OAI/Computability/StarHeight/Model.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

  1. inductive OAI.GeneralizedStarHeight.Expression line 9

    Also declared: ComparatorChallenges/GeneralizedStarHeight.lean:9 (same declaration text).

  2. def OAI.GeneralizedStarHeight.Expression.language line 22

    Also declared: ComparatorChallenges/GeneralizedStarHeight.lean:22 (same declaration text).

  3. def OAI.GeneralizedStarHeight.Expression.height line 31

    Also declared: ComparatorChallenges/GeneralizedStarHeight.lean:31 (same declaration text).

  4. def OAI.GeneralizedStarHeight.HasHeightAtMost line 39

    Also declared: ComparatorChallenges/GeneralizedStarHeight.lean:39 (same declaration text).