Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-01-21 04:10
7c3079ec
View on Github →
chore: address some porting notes in Mathlib/Computability (
#20822
)
Estimated changes
Modified
Mathlib/Computability/Ackermann.lean
Modified
Mathlib/Computability/Encoding.lean
modified
theorem
Computability.decode_encodeBool
modified
theorem
Computability.decode_encodeNat
modified
theorem
Computability.decode_encodeNum
modified
theorem
Computability.decode_encodePosNum
added
theorem
Computability.sectionΓ'Bool_inclusionBoolΓ'
modified
theorem
Computability.unary_decode_encode_nat
Modified
Mathlib/Computability/Language.lean
Modified
Mathlib/Computability/Partrec.lean
Modified
Mathlib/Computability/PartrecCode.lean
Modified
Mathlib/Computability/Primrec.lean
Modified
Mathlib/Computability/RegularExpressions.lean
Modified
Mathlib/Computability/TMComputable.lean
modified
def
Turing.EvalsTo.refl
modified
def
Turing.EvalsToInTime.refl
Modified
Mathlib/Computability/TMToPartrec.lean
Modified
Mathlib/Computability/Tape.lean
Modified
Mathlib/Computability/TuringMachine.lean
Modified
Mathlib/Data/Part.lean
modified
theorem
Part.bind_some_eq_map