Package: libcoq-mathcomp-abel (1.2.1-2 and others) [debports]

[ Source:  ]

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Other Packages Related to libcoq-mathcomp-abel

• dep: libcoq-mathcomp-algebra-k7186

  virtual package provided by libcoq-mathcomp-algebra

• dep: libcoq-mathcomp-field-s9g73

  virtual package provided by libcoq-mathcomp-field

• dep: libcoq-mathcomp-fingroup-jxst8

  virtual package provided by libcoq-mathcomp-fingroup

• dep: libcoq-mathcomp-real-closed-2vay4

  virtual package provided by libcoq-mathcomp-real-closed

• dep: libcoq-mathcomp-solvable-zhdx9

  virtual package provided by libcoq-mathcomp-solvable

• dep: libcoq-mathcomp-ssreflect (>= 1.17)

  Mathematical Components library for Coq (small scale reflection)

Download libcoq-mathcomp-abel

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
riscv64 (unofficial port)	1.2.1-2+b1	1,248.8 kB	4,158.0 kB	[list of files]