Skip to content
#

boogie-sc-dataset

Star

Here is 1 public repository matching this topic...

AI2001_Category-Source_Code-SC-Boogie

seanpm2001 / AI2001_Category-Source_Code-SC-Boogie

Star 2

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Boogie category for AI2001, containing Boogie programming language datasets

ai gplv3 artificial-intelligence dataset r-language boogie md txt gpl3 boogie-language boogie-lang rmarkdown-language ai2001 ai-2001 ai2001-dataset ai-2001-dataset ai2001-development ai-2001-development source-code-dataset boogie-sc-dataset
  • Updated Aug 28, 2023
  • R

Improve this page

Add a description, image, and links to the boogie-sc-dataset topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the boogie-sc-dataset topic, visit your repo's landing page and select "manage topics."

Learn more