Commit 2025-02-06 21:04 2954870d
View on Github →style(Mathlib/Computability/Halting): RePred to REPred (#21216)
RePred is an acronym of "Recursive enumerable predicate".
According to the naming conventions, acronyms should be written uupper-/lowercase as a group.
This is reasonable because the complexity class of recursive enumerable functions are written as $\mathrm{RE}$.