Hyphaeic/fdrs_formal

Function-Defined Radix Systems (FDRS) - A mathematical framework generalizing classical positional notation by allowing the radix at each digit position to be determined by a function rather than fixed data. Formalized in Lean4

GitHub repository with 5 stars and 0 forks.

Language: Lean