coq-ext-lib

rocq-community

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

programming

View on GitHub Website

136 Stars

53 Forks

136 Watchers

Rocq Prover Language

bsd-2-clause License

100 SrcLog Score

Cost to Build

$310.1K

Market Value

$1.07M

How is this calculated?

Growth over time

8 data points · 2021-08-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about coq-ext-lib

Question copied to clipboard

What is the rocq-community/coq-ext-lib GitHub project? Description: "A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai] ". Written in Rocq Prover. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone coq-ext-lib

Clone via HTTPS

git clone https://github.com/rocq-community/coq-ext-lib.git

Clone via SSH

[email protected]:rocq-community/coq-ext-lib.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the coq-ext-lib issue tracker:

Open GitHub Issues

Similar to coq-ext-lib

freeCodeCamp You-Dont-Know-JS system-design-primer free-programming-books-zh_CN build-your-own-x papers-we-love 30-seconds-of-code interactive-coding-challenges HowToBeAProgrammer pytudes awesome-falsehood gitsome ES6-for-humans saws p1xt-guides haxor-news CreepyCodeCollection elixirschool Programming-Alpha-To-Omega handong1587.github.io telegram-list adv-r awesome-cold-showers aws-doc-sdk-examples OpenComputers viz Algo_Ds_Notes MyNotebook colobot blog