Mathematical Components
-
Updated
Jan 26, 2026 - Rocq Prover
#
rocq-prover-lang
Here are 5 public repositories matching this topic...
🌳️🌐️#️⃣️ The Bliss Browser Rocq Prover language support module, allowing Rocq Prover programs to be written in and ran within the browser.
gplv3 gpl3 bliss-browser bliss-browser-development bliss-browser-languages bliss-browser-language-support bliss-browser-project rocq-prover-lang rocq-prover-language bliss-browser-rocq-prover-language
-
Updated
Jul 21, 2025 - Rocq Prover
⌨️ The Rocq Prover (formerly Coq) programming language IDE submodule for SNU Programming Tools (2D Mode)
web-development programming web-ide gplv3 ide snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snu2dprogrammingtools snu-project snu2dprogramming-tools rocq-prover rocq-prover-lang rocq-prover-language
-
Updated
Jun 25, 2025 - Rocq Prover
📚️ A repository for showcasing my knowledge of the Rocq Prover (formerly Coq) programming language, and continuing to learn the language.
gplv3 gpl3 rocq-prover learn-rocq-prover learn-rocq-prover-lang learn-rocq-prover-language rocq-prover-lang rocq-prover-language
-
Updated
Jun 25, 2025 - Rocq Prover
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Rocq Prover category for AI2001, containing Rocq Prover programming language datasets
ai gplv3 artificial-intelligence dataset gpl3 ai2001 ai2001-dataset ai2001-development ai2001-source-code-dataset sc-dataset ai2001-project ai2001-sc-dataset ai2001-source-code rocq-prover-lang rocq-prover-language rocq-prover-language-dataset
-
Updated
Jul 26, 2025 - R
Improve this page
Add a description, image, and links to the rocq-prover-lang topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the rocq-prover-lang topic, visit your repo's landing page and select "manage topics."