Pinned Repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
affine-constructive-maths
affine-constructive-maths
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
hottbook
math-classes
A library of abstract interfaces for mathematical structures in Coq.
Nek5000
The open-source, highly-scalable, always-portable spectral element CFD code
Nek5000
our classic
jlottes's Repositories
jlottes/hottbook
jlottes/math-classes
A library of abstract interfaces for mathematical structures in Coq.
jlottes/affine-constructive-maths
affine-constructive-maths
jlottes/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
jlottes/Nek5000
The open-source, highly-scalable, always-portable spectral element CFD code