![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| builder.mac | 2024-11-25 13:59 | 5.3K | |
| eigenlib.mac | 2025-04-02 11:03 | 5.5K | |
| eigenlib_test.mac | 2025-04-02 11:03 | 3.7K | |
| linearalgebra_contrib.mac | 2025-04-02 11:03 | 13K | |
| matchlib.mac | 2025-04-02 11:03 | 10K | |
| matrix.mac | 2025-04-02 11:03 | 19K | |
| matrix_test.mac | 2025-04-02 11:03 | 11K | |
| matrixfactorizations.mac | 2025-04-02 11:03 | 6.8K | |
| matrixfactorizations_test.mac | 2025-04-02 11:03 | 4.4K | |
| prooflib.mac | 2025-04-02 11:03 | 21K | |
| prooflib_test.mac | 2025-04-02 11:03 | 2.6K | |
| proofsamples/ | 2025-04-02 11:03 | - | |
| rand_matrix.mac | 2025-04-02 11:03 | 13K | |
| rand_matrix_test.mac | 2025-04-02 11:03 | 5.6K | |
| validators.mac | 2025-01-22 15:16 | 3.5K | |
| validators_test.mac | 2025-01-22 15:16 | 3.7K | |
| vectorcalculus.mac | 2024-06-12 16:13 | 3.4K | |
| vectorcalculus_test.mac | 2025-04-02 11:03 | 5.7K | |
| vectorgeometry.mac | 2025-04-02 11:03 | 7.3K | |
| vectorgeometry_test.mac | 2025-04-02 11:03 | 5.4K | |
| vectorspaces.mac | 2025-04-02 11:03 | 9.2K | |
| vectorspaces_test.mac | 2025-04-02 11:03 | 7.0K | |