Record: found
Abstract: not found
Book Chapter: not found

Tools and Algorithms for the Construction and Analysis of Systems 

Proof General: A Generic Tool for Proof Development

other

Author(s): David Aspinall

Publication date (Online): June 1 2001

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 2

Record: found
Abstract: not found
Book Chapter: not found

Isar — A Generic Interpretative Approach to Readable Formal Proof Documents

Markus Wenzel (1999)

0 comments Cited 19 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

A Generic Approach to Building User Interfaces for Theorem Provers

Y. Bertot, L. Thery (1998)

0 comments Cited 8 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2000

Publication date (Online): June 1 2001

Pages: 38-43

DOI: 10.1007/3-540-46419-0_3

SO-VID: 868e51cd-b755-4449-b3be-54f68366cbef

History

Data availability:

Proof General: A Generic Tool for Proof Development

Read this book at

Related collections

Scientific Phone Apps and Mobile Devices

Most cited references 2

Isar — A Generic Interpretative Approach to Readable Formal Proof Documents

A Generic Approach to Building User Interfaces for Theorem Provers

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,804

Cited by 21