mathlib
5624c1ae - a basic tool to check all locales open

Commit

4 years ago

a basic tool to check all locales open

References

alexjbest/check_localized

Author

alexjbest

alexjbest

Parents

Loading