Mathlib Manual🔗

This project has now been deprecated!

• List of all Tactics: now integrated in the Mathlib Documentation

• The other resources have been moved to the Mathlib Wiki

  • globally shared mathlib

  • local dev dependency

  • following stable releases