mathlib3
253f2252 - lint(computability/halting): docstrings (#4524)

Commit

5 years ago

lint(computability/halting): docstrings (#4524) Adds docstrings in `computability/halting.lean`

References

Author

awainverse

Parents