The following pages link to Maxime Dénès (Q2900559):
Displayed 6 items.
- Towards a Certified Computation of Homology Groups for Digital Images (Q2900562) (← links)
- A Refinement-Based Approach to Computational Algebra in Coq (Q2914734) (← links)
- Refinements for Free! (Q2938045) (← links)
- Foundational Property-Based Testing (Q2945645) (← links)
- Incidence Simplicial Matrices Formalized in Coq/SSReflect (Q5200106) (← links)
- Formalized linear algebra over Elementary Divisor Rings in Coq (Q5739892) (← links)