Isabelle / Eclipse Eclipse-integratie voor Isabelle-proof-assistent
Download nu

Isabelle / Eclipse Rangschikking & Samenvatting

Isabelle / Eclipse Tags

compiler ontwikkelen ontwikkelaar Eclipse-plug-in

Isabelle / Eclipse Beschrijving

Isabelle / Eclipse is een handige en betrouwbare toepassing die is ontworpen om gebruikers te helpen met hun scripts te werken en hun programmeerkennis te verbeteren. Isabelle / Eclipse werkt als een stand-alone applicatie, evenals een Eclipse-plug-in. Bij het configureren van de aanvraag die moet worden gestart, moet u aangeven waar Isabelle / Eclipse zich bevindt en welke sessie wordt geladen. Bovendien biedt de software u een teksteditor voor Isabelle-theorie-bestanden en kunt u de codescripts, opmerkingen en meer markeren.

Isabelle / Eclipse Gerelateerde software