isaebelle-lang

There are 0 repository under isaebelle-lang 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