Mathematical Components

swMATH30935MaRDI QIDQ42649FDOQ42649

Author name not available (Why is that?)

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
• A formal proof of the irrationality of \(\zeta(3)\)
• Classification of finite fields with applications
• CoqEAL
• Algolib
• FocalTest
• Coquelicot
• QuickChick
• Luck
• finfield.v
• Coq-Combi
• Imandra
• Zeta_3_Irrational
• finmap
• PCM library
• Tests and Proofs for Enumerative Combinatorics

This page was built for software: Mathematical Components