Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896474834> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2896474834 abstract "Traf is a graphical proof tree viewer that cooperates with the Coq proof assistant and is controlled through Proof General. Among other proof tree viewers and tools for browsing proof scripts, Traf is well suited for daily proving of Coq problems as it is easy to use, non-disturbing, and helpful. Proof trees dynamically updated by Traf during interactive sessions with Proof General are informative and as readable as Gentzen-style natural deduction proofs. Traf facilitates browsing and investigating tactic-based proof scripts, which are often burdensome to read. Traf can also be used for typesetting proof trees with Open image in new window . The current version of Traf was developed as an extension to the Prooftree proof tree viewer and makes use of many of its facilities. Traf provides functionalities that are useful to both novice Coq users and experienced Proof General users." @default.
- W2896474834 created "2018-10-26" @default.
- W2896474834 creator A5015758702 @default.
- W2896474834 creator A5026952613 @default.
- W2896474834 creator A5039634805 @default.
- W2896474834 creator A5042232270 @default.
- W2896474834 date "2018-01-01" @default.
- W2896474834 modified "2023-09-27" @default.
- W2896474834 title "Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General" @default.
- W2896474834 cites W1488189293 @default.
- W2896474834 cites W1511774588 @default.
- W2896474834 cites W1595404720 @default.
- W2896474834 cites W1605536043 @default.
- W2896474834 cites W1768814311 @default.
- W2896474834 cites W1860929026 @default.
- W2896474834 cites W1977759667 @default.
- W2896474834 cites W2078574774 @default.
- W2896474834 cites W2118368359 @default.
- W2896474834 cites W2132231900 @default.
- W2896474834 cites W2134919871 @default.
- W2896474834 cites W2136219937 @default.
- W2896474834 cites W2153377020 @default.
- W2896474834 cites W2951995857 @default.
- W2896474834 cites W3023731641 @default.
- W2896474834 cites W35890323 @default.
- W2896474834 doi "https://doi.org/10.1007/978-3-030-02768-1_9" @default.
- W2896474834 hasPublicationYear "2018" @default.
- W2896474834 type Work @default.
- W2896474834 sameAs 2896474834 @default.
- W2896474834 citedByCount "2" @default.
- W2896474834 countsByYear W28964748342021 @default.
- W2896474834 crossrefType "book-chapter" @default.
- W2896474834 hasAuthorship W2896474834A5015758702 @default.
- W2896474834 hasAuthorship W2896474834A5026952613 @default.
- W2896474834 hasAuthorship W2896474834A5039634805 @default.
- W2896474834 hasAuthorship W2896474834A5042232270 @default.
- W2896474834 hasConcept C105605280 @default.
- W2896474834 hasConcept C108710211 @default.
- W2896474834 hasConcept C111919701 @default.
- W2896474834 hasConcept C113174947 @default.
- W2896474834 hasConcept C124978682 @default.
- W2896474834 hasConcept C134306372 @default.
- W2896474834 hasConcept C195653647 @default.
- W2896474834 hasConcept C199360897 @default.
- W2896474834 hasConcept C203265346 @default.
- W2896474834 hasConcept C2318724 @default.
- W2896474834 hasConcept C2524010 @default.
- W2896474834 hasConcept C33923547 @default.
- W2896474834 hasConcept C41008148 @default.
- W2896474834 hasConcept C61423126 @default.
- W2896474834 hasConcept C94461902 @default.
- W2896474834 hasConceptScore W2896474834C105605280 @default.
- W2896474834 hasConceptScore W2896474834C108710211 @default.
- W2896474834 hasConceptScore W2896474834C111919701 @default.
- W2896474834 hasConceptScore W2896474834C113174947 @default.
- W2896474834 hasConceptScore W2896474834C124978682 @default.
- W2896474834 hasConceptScore W2896474834C134306372 @default.
- W2896474834 hasConceptScore W2896474834C195653647 @default.
- W2896474834 hasConceptScore W2896474834C199360897 @default.
- W2896474834 hasConceptScore W2896474834C203265346 @default.
- W2896474834 hasConceptScore W2896474834C2318724 @default.
- W2896474834 hasConceptScore W2896474834C2524010 @default.
- W2896474834 hasConceptScore W2896474834C33923547 @default.
- W2896474834 hasConceptScore W2896474834C41008148 @default.
- W2896474834 hasConceptScore W2896474834C61423126 @default.
- W2896474834 hasConceptScore W2896474834C94461902 @default.
- W2896474834 hasLocation W28964748341 @default.
- W2896474834 hasOpenAccess W2896474834 @default.
- W2896474834 hasPrimaryLocation W28964748341 @default.
- W2896474834 hasRelatedWork W1498303959 @default.
- W2896474834 hasRelatedWork W1537398137 @default.
- W2896474834 hasRelatedWork W1556181377 @default.
- W2896474834 hasRelatedWork W1744916874 @default.
- W2896474834 hasRelatedWork W1965787309 @default.
- W2896474834 hasRelatedWork W2023237006 @default.
- W2896474834 hasRelatedWork W2031433674 @default.
- W2896474834 hasRelatedWork W2100997280 @default.
- W2896474834 hasRelatedWork W2124145386 @default.
- W2896474834 hasRelatedWork W2148469259 @default.
- W2896474834 hasRelatedWork W2153377020 @default.
- W2896474834 hasRelatedWork W2166150865 @default.
- W2896474834 hasRelatedWork W2495149520 @default.
- W2896474834 hasRelatedWork W2606289262 @default.
- W2896474834 hasRelatedWork W2779309735 @default.
- W2896474834 hasRelatedWork W2978008206 @default.
- W2896474834 hasRelatedWork W3080745458 @default.
- W2896474834 hasRelatedWork W3121812007 @default.
- W2896474834 hasRelatedWork W3172998033 @default.
- W2896474834 hasRelatedWork W3182496033 @default.
- W2896474834 isParatext "false" @default.
- W2896474834 isRetracted "false" @default.
- W2896474834 magId "2896474834" @default.
- W2896474834 workType "book-chapter" @default.