Isabelle/jEdit – A Prover IDE within the PIDE Framework (Q2907353): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
 
Property / arXiv ID
 
Property / arXiv ID: 1207.3441 / rank
 
Normal rank

Latest revision as of 09:41, 19 April 2024

scientific article
Language Label Description Also known as
English
Isabelle/jEdit – A Prover IDE within the PIDE Framework
scientific article

    Statements

    Isabelle/jEdit – A Prover IDE within the PIDE Framework (English)
    0 references
    0 references
    7 September 2012
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers