Skip to content

Navigation Menu

Appearance settings

View all features
- 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
- 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
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  Accelerator
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

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

rocq-prover / rocq Public

Notifications You must be signed in to change notification settings
Fork 718
Star 5.4k

Code
Issues 2.5k
Pull requests 68
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

History / CoqWG 2023‐12‐18

Edit page New page

Revisions

Updated CoqWG 2023‐12‐18 (markdown)

amahboubi committed Dec 18, 2023

e1c5110
Updated CoqWG 2023‐12‐18 (markdown)

amahboubi committed Dec 18, 2023

80df5ac
Updated CoqWG 2023‐12‐18 (markdown)

tabareau committed Dec 18, 2023

2401b1a
Updated CoqWG 2023‐12‐18 (markdown)

gares committed Dec 17, 2023

a7a73c6
Updated CoqWG 2023‐12‐18 (markdown)

gares committed Dec 17, 2023

36ee6a8
Updated CoqWG 2023‐12‐18 (markdown)

ecranceMERCE committed Dec 17, 2023

6d34782
Updated CoqWG 2023‐12‐18 (markdown)

ppedrot committed Dec 15, 2023

69db731
Updated CoqWG 2023‐12‐18 (markdown)

Zimmi48 committed Dec 14, 2023

6a0d98f
Updated CoqWG 2023‐12‐18 (markdown)

amahboubi committed Dec 12, 2023

d9bee87
Updated CoqWG 2023‐12‐18 (markdown)

RafaelBocquet committed Dec 11, 2023

77408fb
Updated CoqWG 2023‐12‐18 (markdown)

yforster committed Dec 11, 2023

dc7913d
Updated CoqWG 2023‐12‐18 (markdown)

ppedrot committed Dec 7, 2023

d3f260b
Updated CoqWG 2023‐12‐18 (markdown)

CohenCyril committed Dec 7, 2023

82c65ae
Updated CoqWG 2023‐12‐18 (markdown)

herbelin committed Dec 6, 2023

4553322
Updated CoqWG 2023‐12‐18 (markdown)

herbelin committed Dec 6, 2023

a195e3c
Updated CoqWG 2023‐12‐18 (markdown)

palmskog committed Dec 5, 2023

f3f9b61
registration

akaposi committed Dec 5, 2023

7d89fae
Updated CoqWG 2023‐12‐18 (markdown)

mattam82 committed Dec 4, 2023

7398b38
Updated CoqWG 2023‐12‐18 (markdown)

smalewski committed Dec 4, 2023

0a25730
Updated CoqWG 2023‐12‐18 (markdown)

TDiazT committed Dec 4, 2023

81bc573
Updated CoqWG 2023‐12‐18 (markdown)

ppedrot committed Dec 4, 2023

b723c53
Updated CoqWG 2023‐12‐18 (markdown)

amahboubi committed Dec 4, 2023

5d5e291
Updated CoqWG 2023‐12‐18 (markdown)

pi8027 committed Dec 1, 2023

0c0c30c
Updated CoqWG 2023‐12‐18 (markdown)

ejgallego committed Nov 28, 2023

d2cc041
Updated CoqWG 2023‐12‐18 (markdown)

yannl35133 committed Nov 28, 2023

a5c7f25
Updated CoqWG 2023‐12‐18 (markdown)

tabareau committed Nov 28, 2023

147591d
Updated CoqWG 2023‐12‐18 (markdown)

palmskog committed Nov 22, 2023

396fa25
Updated CoqWG 2023‐12‐18 (markdown)

palmskog committed Nov 22, 2023

3700e71
Updated CoqWG 2023‐12‐18 (markdown)

tabareau committed Nov 22, 2023

53c4755
Updated CoqWG 2023‐12‐18 (markdown)

gares committed Nov 21, 2023

2d0db09

NewerOlder

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.