https://github.com/lecopivo/eigenlean
Lean 4 interface to Eigen
https://github.com/lecopivo/eigenlean
eigen3 lean4
Last synced: 8 months ago
JSON representation
Lean 4 interface to Eigen
- Host: GitHub
- URL: https://github.com/lecopivo/eigenlean
- Owner: lecopivo
- Created: 2022-04-24T15:38:07.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2024-12-13T21:27:45.000Z (over 1 year ago)
- Last Synced: 2025-03-27T22:22:14.337Z (over 1 year ago)
- Topics: eigen3, lean4
- Language: C++
- Homepage:
- Size: 37.1 KB
- Stars: 9
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: readme.org