mathlib3
fix(tactic/elide): was untested and buggy. Fixed a few issues
#1638
Merged
Overview
Commits
5
Changes
View On GitHub
Commits
  • fix(tactic/elide): was untested and buggy. Fixed a few issues
    cipher1024 committed 6 years ago
  • Update tactics.lean
    cipher1024 committed 6 years ago
  • add copyright header
    robertylewis committed 6 years ago
  • Update src/tactic/elide.lean
    cipher1024 committed 6 years ago
  • Merge branch 'master' into fix-elide
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading