leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: LFTCM 2024

Topic: List of all tactics


Luigi Massacci (Mar 27 2024 at 09:41):

A a PSA, you can find the list of all tactics with brief explanations here:

Notification Bot (Mar 27 2024 at 09:41):

This topic was moved here from #LFTCM 2024 > All tactics list by Luigi Massacci.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll