mathlib3
feat(sanity_check): greatly improve performance
#1389
Merged
Overview
Commits
10
Changes
View On GitHub
Commits
  • feat(sanity_check): greatly improve performance
    fpvandoorn committed 6 years ago
  • move and rename is_in_mathlib_aux
    fpvandoorn committed 6 years ago
  • use boolean connectives in some other places
    fpvandoorn committed 6 years ago
  • remove some whitespace
    fpvandoorn committed 6 years ago
  • fix parentheses, fix tests
    fpvandoorn committed 6 years ago
  • add ! as boolean negation
    fpvandoorn committed 6 years ago
  • fix binding strength
    fpvandoorn committed 6 years ago
  • undo the use of boolean connectives
    fpvandoorn committed 6 years ago
  • add back notation ! for bnot
    fpvandoorn committed 6 years ago
  • Merge branch 'master' into sanity_check
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading