Q5875430 (Q5875430): Difference between revisions

From MaRDI portal
← Older edit
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(One intermediate revision by one other user not shown)
Property / cites work
 
Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL / rank
 
Normal rank
Property / cites work
 
Property / cites work: NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18--20, 2011. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Scalable LCF-Style Proof Translation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Importing HOL Light into Coq / rank
 
Normal rank
Property / cites work
 
Property / cites work: CakeML / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isabelle/HOL. A proof assistant for higher-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isabelle. A generic theorem prover / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Brief Overview of HOL4 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Asynchronous User Interaction and Tool Integration in Isabelle/PIDE / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interaction with formal mathematical documents in Isabelle/PIDE / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:48, 31 July 2024

scientific article; zbMATH DE number 7649970
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7649970

    Statements

    author
    Fabian Immler
    0 references
    Jonas Rädle
    0 references
    Makarius Wenzel
    0 references
    publication date
    3 February 2023
    0 references
    zbMATH Keywords
    virtualization
    0 references
    HOL4
    0 references
    Isabelle
    0 references
    Isabelle/HOL
    0 references
    Isabelle/ML
    0 references
    describes a project that uses
    Transfer
    0 references
    Lifting
    0 references
    HOL
    0 references
    LCF
    0 references
    Isabelle
    0 references
    OpenTheory
    0 references
    Archive Formal Proofs
    0 references
    Isabelle/PIDE
    0 references
    Isabelle/HOL
    0 references

    Identifiers

    zbMATH DE Number
    7649970
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5875430&oldid=37484872"
    Powered by MediaWiki