Def REPred

Modification history

2026-04-21 05:56

Mathlib/Computability/Halting.lean

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

Modified REPred View on Github →

2025-02-06 21:04

Mathlib/Computability/Halting.lean

style(Mathlib/Computability/Halting): `RePred` to `REPred` (#21216) …

Added REPred View on Github →