Eggy115 / Coq Star 2 Code Issues Pull requests Discussions Coq coq coq-library coq-lang coq-language eggy115 eggy115-always-win-and-never-lose coq-programs coq-scripts coq-examples Updated Apr 12, 2023 Coq
seanpm2001 / AI2001_Category-Source_Code-SC-Coq Star 2 Code Issues Pull requests Discussions 🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming language datasets ai gplv3 coq artificial-intelligence dataset r-language md txt gpl3 rmarkdown-language coq-lang coq-language ai2001 ai-2001 ai2001-dataset ai-2001-dataset ai2001-development ai-2001-development source-code-dataset coq-sc-dataset Updated Aug 11, 2023 R
seanpm2001 / Learn-Coq Star 2 Code Issues Pull requests Discussions A repository for showcasing my knowledge of the Coq programming language, and continuing to learn the language. knowledge article gplv3 coq learn v md txt gpl3 seanpm2001 seanpm2001-education seanpm2001-learn learn-coq-lang learn-coq learn-coq-language coq-lang coq-language Updated Nov 2, 2022 Coq