File: metadata

package info (click to toggle)
mathlibtools 1.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 272 kB
  • sloc: python: 1,388; sh: 90; makefile: 3
file content (7 lines) | stat: -rw-r--r-- 472 bytes parent folder | download 
1
2
3
4
5
6
7
 
Archive: GitHub
Bug-Database: https://github.com/leanprover-community/mathlib-tools/issues
Bug-Submit: https://github.com/leanprover-community/mathlib-tools/issues/new
Changelog: https://github.com/leanprover-community/mathlib-tools/blob/master/CHANGELOG.md
Documentation: https://leanprover-community.github.io/leanproject.html
Repository: https://github.com/leanprover-community/mathlib-tools.git
Repository-Browse: https://github.com/leanprover-community/mathlib-tools