Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-05 13:51 815a2f97

View on Github →

feat(computability/encoding): define encoding of basic data types (#3976) We define the encoding of natural numbers and booleans to strings for Turing machines to be used in our future PR on polynomial time computation on Turing machines.

Estimated changes