Theorem Computable.find

Modification history

2026-04-21 05:56

Mathlib/Computability/Halting.lean

refactor(Computability): split Halting.lean into separate files (#38138) …

Modified Computable.find View on Github →

2026-04-05 02:27

Mathlib/Computability/Halting.lean

feat(Computability.Partrec): add computability of Nat.find (#36677) …

Added Computable.find View on Github →