GitHub/leanprover-community.mathlib4
1
0
Fork 0
mirror of https://github.com/leanprover-community/mathlib4.git synced 2026-03-07 02:46:33 +00:00
Code Issues Projects Releases Packages Wiki Activity
Setting up linting and testing for your Lean project
Anne Baanen edited this page 2025-06-26 16:34:00 +02:00

Page revisions

1 Commits

Author SHA1 Message Date
Anne Baanen
0f6884f09c Tutorial on lint and test drivers in the Lakefile. 2025-06-26 16:34:00 +02:00