-
Notifications
You must be signed in to change notification settings - Fork 4
Insights: leanprover/TensorLib
Overview
-
0 Active issues
-
- 2 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
2 Pull requests merged by 1 person
-
chore: Delete obsolete codeowner file
#83 merged
Jul 15, 2025 -
chore: add license header script and update headers
#84 merged
Jul 15, 2025
2 Pull requests opened by 2 people
-
feat: add missing functions for scalar bools
#85 opened
Jul 18, 2025 -
chore: bump toolchain to v4.21.0
#86 opened
Jul 18, 2025