mathlib
0cd0d4ed - feat(meta/pformat): format! macro using `pp` instead of `to_fmt` (#1194)

Commit

6 years ago

feat(meta/pformat): format! macro using `pp` instead of `to_fmt` (#1194) * feat(meta/pformat): format! macro which uses `pp` instead of `to_fmt` * Update core.lean

References

#1194 - feat(meta/pformat): format! macro using `pp` instead of `to_fmt`

Author

cipher1024

Committer

mergify[bot]

Parents

60e4bb92

mathlib 0cd0d4ed - feat(meta/pformat): format! macro using `pp` instead of `to_fmt` (#1194)

mathlib
0cd0d4ed - feat(meta/pformat): format! macro using `pp` instead of `to_fmt` (#1194)