Mathematical Components

MaRDI QIDQ42649swMATHFDO

Official website https://math-comp.github.io

Source code repository https://github.com/math-comp/math-comp

Cited in

(16)

• Tests and proofs for custom data generators
• Classification of finite fields with applications
• CoqEAL
• Algolib
• FocalTest
• Coquelicot
• QuickChick
• Luck
• finfield.v
• Coq-Combi
• Imandra
• Zeta_3_Irrational
• A formal proof of the irrationality of \(\zeta(3)\)
• finmap
• PCM library
• Tests and Proofs for Enumerative Combinatorics

This page was built for software: Mathematical Components