a lean linear math library, aimed at graphics programming. Supports vec3, vec4, mat4x4 and quaternions
Repository Index
81,588 visible repositories in the index
1–3 of 3 · Most stars
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
Cross Platform Fixed Point Maths Library