isabelle-language

There are 0 repository under isabelle-language topic.

SNU_2D_ProgrammingTools_IDE_IsabelleProofAssistant
seanpm2001 / SNU_2D_ProgrammingTools_IDE_IsabelleProofAssistant
The Isabelle Proof-assistant language IDE submodule for SNU Programming Tools (2D Mode)
gpl3 gplv3 ide isabelle md programming snu snu-2d snu-2d-programming-tools snu-2d-programmingtools snu-development snu-programming-tools snu2d-programmingtools snu2dprogrammingtools snuprogrammingtools txt web-development web-ide isabelle-language isaebelle-lang
Language:Isabelle 4
AI2001_Category-Source_Code-SC-Isabelle
seanpm2001 / AI2001_Category-Source_Code-SC-Isabelle
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001, containing Isabelle programming language datasets
ai ai-2001 ai-2001-dataset ai-2001-development ai2001 ai2001-dataset ai2001-development artificial-intelligence dataset gpl3 gplv3 isabelle isabelle-language md r-language rmarkdown-language source-code-dataset txt isabelle-lang isabelle-sc-dataset
Language:R 2