1. Geb
  2. Prototypes
  3. Computability
  4. BitTree
  5. BinaryMachine
Imports
/- Copyright (c) 2026 Terence Rokop. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. Authors: Terence Rokop -/ module public import Geb.Prototypes.Computability.BitTree.BinaryMachine.Bound
set_option doc.verso true

Binary-counter recognition of trees with bitstring leaves

The machine, execution correspondence and simultaneous time and space bounds.