Sitelet
https://github.com/math-comp/math-comp/commits/mathcomp-2.6.0/.github
Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
math-comp
/
math-comp
Public
Notifications
You must be signed in to change notification settings
Fork
136
Star
699
Code
Issues
132
Pull requests
47
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Commits
Breadcrumbs
History for
math-comp
.github
on
mathcomp-2.6.0
User selector
All users
Datepicker
All time
Commit history
Commits on Jun 29, 2026
Compile without warning on Rocq 9.2
proux01
committed
ea8d9ca
View commit details
Copy full SHA for ea8d9ca
View code at this point
Browse repository at this point
[CI] Use rocqnavi from nixpkgs
proux01
committed
72661f8
View commit details
Copy full SHA for 72661f8
View code at this point
Browse repository at this point
Commits on May 9, 2026
Add micromega-plugin dependency
proux01
committed
6708f6a
View commit details
Copy full SHA for 6708f6a
View code at this point
Browse repository at this point
Commits on Mar 19, 2026
Merge pull request #1559 from proux01/ci-fcsl
Show description for 7030491
pi8027
authored
7030491
View commit details
Copy full SHA for 7030491
View code at this point
Browse repository at this point
Commits on Mar 17, 2026
[CI] Add fcsl-pcm
Show description for 07902db
proux01
committed
07902db
View commit details
Copy full SHA for 07902db
View code at this point
Browse repository at this point
CI: enable Jasmin
vbgl
authored and
proux01
committed
706d50a
View commit details
Copy full SHA for 706d50a
View code at this point
Browse repository at this point
Commits on Mar 13, 2026
[CI] Add Rocq 9.2
proux01
committed
0d94369
View commit details
Copy full SHA for 0d94369
View code at this point
Browse repository at this point
Commits on Mar 4, 2026
[CI] Update Nix config
proux01
committed
d3548f4
View commit details
Copy full SHA for d3548f4
View code at this point
Browse repository at this point
Commits on Feb 23, 2026
[CI] Update coq-nix-toolbox
Show description for 93b3645
proux01
committed
93b3645
View commit details
Copy full SHA for 93b3645
View code at this point
Browse repository at this point
Commits on Jan 12, 2026
[CI] Update Nix toolbox
Show description for 29c2000
proux01
committed
29c2000
View commit details
Copy full SHA for 29c2000
View code at this point
Browse repository at this point
Commits on Oct 17, 2025
Forgotten file in https://github.com/math-comp/math-comp/pull/1477
proux01
committed
74c205e
View commit details
Copy full SHA for 74c205e
View code at this point
Browse repository at this point
Commits on Oct 14, 2025
Drop support for Coq 8.20
proux01
committed
25af7b1
View commit details
Copy full SHA for 25af7b1
View code at this point
Browse repository at this point
Commits on Sep 6, 2025
Merge pull request #1460 from proux01/infotheo90
Show description for dd6f0f4
affeldt-aist
authored
dd6f0f4
View commit details
Copy full SHA for dd6f0f4
View code at this point
Browse repository at this point
Commits on Sep 5, 2025
[CI] infotheo now compiles on 9.0 and 9.1
proux01
committed
7c75e08
View commit details
Copy full SHA for 7c75e08
View code at this point
Browse repository at this point
Adapt to https://github.com/math-comp/real-closed/pull/80
proux01
committed
59588f3
View commit details
Copy full SHA for 59588f3
View code at this point
Browse repository at this point
Commits on Aug 27, 2025
Fix doc script
proux01
committed
8f97ab0
View commit details
Copy full SHA for 8f97ab0
View code at this point
Browse repository at this point
Commits on Aug 20, 2025
Adapt to https://github.com/math-comp/odd-order/pull/74
proux01
committed
6bf02a1
View commit details
Copy full SHA for 6bf02a1
View code at this point
Browse repository at this point
Commits on Aug 17, 2025
[CI] Update Nix toolbox
proux01
committed
3813014
View commit details
Copy full SHA for 3813014
View code at this point
Browse repository at this point
Commits on Jul 9, 2025
[CI] Add Rocq 9.1+rc1
proux01
committed
40145a2
View commit details
Copy full SHA for 40145a2
View code at this point
Browse repository at this point
Commits on Jun 4, 2025
[CI] Re-enabling graph-theory on master
Show description for 4ddc5d1
proux01
committed
4ddc5d1
View commit details
Copy full SHA for 4ddc5d1
View code at this point
Browse repository at this point
Commits on May 24, 2025
[CI] Add infotheo
proux01
committed
1d76c99
View commit details
Copy full SHA for 1d76c99
View code at this point
Browse repository at this point
Commits on May 10, 2025
[CI] Disable graph-theory on Rocq master
proux01
committed
1fe311c
View commit details
Copy full SHA for 1fe311c
View code at this point
Browse repository at this point
[CI] Update Nix toolbox
Show description for c4af068
proux01
committed
c4af068
View commit details
Copy full SHA for c4af068
View code at this point
Browse repository at this point
Commits on May 9, 2025
Split package ssreflect into boot and order (#1415)
Show description for 60270fd
proux01
authored
60270fd
View commit details
Copy full SHA for 60270fd
View code at this point
Browse repository at this point
Commits on May 1, 2025
[CI] Disactivate jasmin
Show description for eb6edfd
proux01
committed
eb6edfd
View commit details
Copy full SHA for eb6edfd
View code at this point
Browse repository at this point
Commits on Apr 24, 2025
Drop support for Coq 8.19
proux01
committed
d498fcf
View commit details
Copy full SHA for d498fcf
View code at this point
Browse repository at this point
Commits on Mar 28, 2025
[CI] Add SSprove
4ever2
committed
e66ac77
View commit details
Copy full SHA for e66ac77
View code at this point
Browse repository at this point
Commits on Mar 27, 2025
[CI] Update Nix toolbox
proux01
committed
c4be75d
View commit details
Copy full SHA for c4be75d
View code at this point
Browse repository at this point
Commits on Feb 25, 2025
[CI] Update Nix toolbox
Show description for c2a7278
proux01
committed
c2a7278
View commit details
Copy full SHA for c2a7278
View code at this point
Browse repository at this point
Commits on Feb 19, 2025
[CI] Add Jasmin
proux01
committed
14ca4c0
View commit details
Copy full SHA for 14ca4c0
View code at this point
Browse repository at this point
Commits on Feb 18, 2025
Compile without Stdlib
proux01
committed
3c54e6f
View commit details
Copy full SHA for 3c54e6f
View code at this point
Browse repository at this point
[CI] Update Nix toolbox
proux01
committed
63138bb
View commit details
Copy full SHA for 63138bb
View code at this point
Browse repository at this point
Commits on Feb 12, 2025
Forgotten CI update in https://github.com/math-comp/math-comp/pull/1342
proux01
committed
39a083f
View commit details
Copy full SHA for 39a083f
View code at this point
Browse repository at this point
Commits on Feb 3, 2025
[CI] Update Nix toolbox
proux01
committed
c2733a9
View commit details
Copy full SHA for c2733a9
View code at this point
Browse repository at this point
Commits on Jan 28, 2025
[CI] Retrieve CoqEAL
Show description for a3d9652
proux01
committed
a3d9652
View commit details
Copy full SHA for a3d9652
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.