seanpm2001 / SNU_2D_ProgrammingTools_IDE_IsabelleProofAssistant Sponsor Star 4 Code Issues Pull requests Discussions The Isabelle Proof-assistant language IDE submodule for SNU Programming Tools (2D Mode) web-development programming web-ide gplv3 ide isabelle md txt snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snu2dprogrammingtools isaebelle-lang isabelle-language Updated Oct 4, 2022 Isabelle
seanpm2001 / Learn-Isabelle Sponsor Star 2 Code Issues Pull requests Discussions A repository for showcasing my knowledge of the Isabelle Mathematical Proofing Programming language, and continuing to learn the language. gplv3 isabelle gpl3 isabelle-language isabelle-lang learn-isabelle learn-isabelle-lang learn-isabelle-language Updated Apr 23, 2022 Isabelle
seanpm2001 / AI2001_Category-Source_Code-SC-Isabelle Sponsor Star 2 Code Issues Pull requests Discussions 🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001, containing Isabelle programming language datasets ai gplv3 artificial-intelligence dataset r-language isabelle md txt gpl3 rmarkdown-language isabelle-language ai2001 ai-2001 ai2001-dataset ai-2001-dataset ai2001-development ai-2001-development source-code-dataset isabelle-lang isabelle-sc-dataset Updated Sep 22, 2023 R