`OAI/Analysis/RecorderRadix/`

60 declarations, 0 contain sorry, 0 declared as axioms; 4 files

Files

Codes.lean 15 declarations
Intervals.lean 24 declarations
Scales.lean 7 declarations
Tape.lean 14 declarations