Summary
Mathematical Components 1.12.0 and Coq 8.13
Available packages:
- coq-8.13.1
- mathcomp-all-1.12.0
- mathcomp1.12-abel-1.0.0
- mathcomp1.12-bigenough-1.0.0
- mathcomp1.12-finmap-1.5.1
- mathcomp1.12-real-closed-1.1.2
Mathematical Components 1.12.0 and Coq 8.12
Available packages:
- coq-8.12.2
- mathcomp-all-1.12.0
- mathcomp1.12-abel-1.0.0
- mathcomp1.12-bigenough-1.0.0
- mathcomp1.12-finmap-1.5.1
- mathcomp1.12-real-closed-1.1.2
Mathematical Components 1.12.0 and Coq 8.11
Available packages:
- coq-8.11.2
- mathcomp-all-1.12.0
- mathcomp1.12-abel-1.0.0
- mathcomp1.12-bigenough-1.0.0
- mathcomp1.12-finmap-1.5.1
- mathcomp1.12-real-closed-1.1.2
Mathematical Components 1.12.0 and Coq 8.10
Available packages:
- coq-8.10.2
- mathcomp-all-1.12.0
- mathcomp1.12-abel-1.0.0
- mathcomp1.12-bigenough-1.0.0
- mathcomp1.12-finmap-1.5.1
- mathcomp1.12-real-closed-1.1.2
Mathematical Components 1.11.0 and Coq 8.12
Available packages:
- coq-8.12.2
- mathcomp-all-1.11.0
- mathcomp1.11-abel-1.0.0
- mathcomp1.11-bigenough-1.0.0
- mathcomp1.11-finmap-1.5.1
- mathcomp1.11-real-closed-1.1.1
- mathcomp1.11-multinomials-1.5.2
Mathematical Components 1.11.0 and Coq 8.11
Available packages:
- coq-8.11.2
- mathcomp-all-1.11.0
- mathcomp1.11-abel-1.0.0
- mathcomp1.11-analysis-0.3.1
- mathcomp1.11-bigenough-1.0.0
- mathcomp1.11-finmap-1.5.1
- mathcomp1.11-real-closed-1.1.1
- mathcomp1.11-multinomials-1.5.2
Mathematical Components 1.11.0 and Coq 8.10
Available packages:
- coq-8.10.2
- mathcomp-all-1.11.0
- mathcomp1.11-abel-1.0.0
- mathcomp1.11-analysis-0.3.1
- mathcomp1.11-bigenough-1.0.0
- mathcomp1.11-finmap-1.5.1
- mathcomp1.11-real-closed-1.1.1
- mathcomp1.11-multinomials-1.5.2
Mathematical Components 1.11.0 and Coq 8.9
Available packages:
- coq-8.9.1
- mathcomp-all-1.11.0
- mathcomp1.11-bigenough-1.0.0
- mathcomp1.11-finmap-1.5.0
- mathcomp1.11-real-closed-1.1.1
- mathcomp1.11-multinomials-1.5.2
Mathematical Components 1.11.0 and Coq 8.8
Available packages:
- coq-8.8.2
- mathcomp-all-1.11.0
- mathcomp1.11-bigenough-1.0.0
- mathcomp1.11-finmap-1.5.0
- mathcomp1.11-real-closed-1.1.1
- mathcomp1.11-multinomials-1.5.2
Mathematical Components 1.11.0 and Coq 8.7
Available packages:
- coq-8.7.2
- mathcomp-all-1.11.0
- mathcomp1.11-bigenough-1.0.0
- mathcomp1.11-finmap-1.5.0
- mathcomp1.11-real-closed-1.1.1
- mathcomp1.11-multinomials-1.5.2
Mathematical Components 1.10.0 and Coq 8.11
Available packages:
- coq-8.11.2
- mathcomp-all-1.10.0
- mathcomp1.10-analysis-0.2.3
- mathcomp1.10-bigenough-1.0.0
- mathcomp1.10-finmap-1.4.0+coq-8.11
- mathcomp1.10-real-closed-1.0.4
- mathcomp1.10-multinomials-1.5.0
Mathematical Components 1.10.0 and Coq 8.10
Available packages:
- coq-8.10.2
- mathcomp-all-1.10.0
- mathcomp1.10-analysis-0.2.3
- mathcomp1.10-bigenough-1.0.0
- mathcomp1.10-finmap-1.4.0
- mathcomp1.10-real-closed-1.0.4
- mathcomp1.10-multinomials-1.5.0
Mathematical Components 1.10.0 and Coq 8.9
Available packages:
- coq-8.9.1
- mathcomp-all-1.10.0
- mathcomp1.10-analysis-0.2.3
- mathcomp1.10-bigenough-1.0.0
- mathcomp1.10-finmap-1.4.0
- mathcomp1.10-real-closed-1.0.4
- mathcomp1.10-multinomials-1.5.0
Mathematical Components 1.10.0 and Coq 8.8
Available packages:
- coq-8.8.2
- mathcomp-all-1.10.0
- mathcomp1.10-analysis-0.2.3
- mathcomp1.10-bigenough-1.0.0
- mathcomp1.10-finmap-1.4.0
- mathcomp1.10-real-closed-1.0.4
- mathcomp1.10-multinomials-1.5.0
Mathematical Components 1.10.0 and Coq 8.7
Available packages:
- coq-8.7.2
- mathcomp-all-1.10.0
- mathcomp1.10-bigenough-1.0.0
- mathcomp1.10-finmap-1.4.0
- mathcomp1.10-real-closed-1.0.4
- mathcomp1.10-multinomials-1.5.0
Mathematical Components 1.9.0 and Coq 8.10
Available packages:
- coq-8.10.2
- mathcomp-all-1.9.0
- mathcomp1.9-analysis-0.2.3
- mathcomp1.9-bigenough-1.0.0
- mathcomp1.9-finmap-1.4.0
- mathcomp1.9-real-closed-1.0.4
- mathcomp1.9-multinomials-1.5.0
Mathematical Components 1.9.0 and Coq 8.9
Available packages:
- coq-8.9.1
- mathcomp-all-1.9.0
- mathcomp1.9-analysis-0.2.3
- mathcomp1.9-bigenough-1.0.0
- mathcomp1.9-finmap-1.4.0
- mathcomp1.9-real-closed-1.0.4
- mathcomp1.9-multinomials-1.5.0
Mathematical Components 1.9.0 and Coq 8.8
Available packages:
- coq-8.8.2
- mathcomp-all-1.9.0
- mathcomp1.9-analysis-0.2.3
- mathcomp1.9-bigenough-1.0.0
- mathcomp1.9-finmap-1.4.0
- mathcomp1.9-real-closed-1.0.4
- mathcomp1.9-multinomials-1.5.0
Mathematical Components 1.9.0 and Coq 8.7
Available packages:
- coq-8.7.2
- mathcomp-all-1.9.0
- mathcomp1.9-bigenough-1.0.0
- mathcomp1.9-finmap-1.4.0
- mathcomp1.9-real-closed-1.0.4
- mathcomp1.9-multinomials-1.5.0
Mathematical Components 1.8.0 and Coq 8.9
Available packages:
- coq-8.9.1
- mathcomp-all-1.8.0
- mathcomp1.8-analysis-0.2.3
- mathcomp1.8-bigenough-1.0.0
- mathcomp1.8-finmap-1.4.0
- mathcomp1.8-real-closed-1.0.3
- mathcomp1.8-multinomials-1.5.0
Mathematical Components 1.8.0 and Coq 8.8
Available packages:
- coq-8.8.2
- mathcomp-all-1.8.0
- mathcomp1.8-analysis-0.2.3
- mathcomp1.8-bigenough-1.0.0
- mathcomp1.8-finmap-1.4.0
- mathcomp1.8-real-closed-1.0.3
- mathcomp1.8-multinomials-1.5.0
Mathematical Components 1.8.0 and Coq 8.7
Available packages:
- coq-8.7.2
- mathcomp-all-1.8.0
- mathcomp1.8-bigenough-1.0.0
- mathcomp1.8-finmap-1.4.0
- mathcomp1.8-real-closed-1.0.3
- mathcomp1.8-multinomials-1.5.0