Tool Support for proof Engineering - PowerPoint PPT Presentation

1 / 32
} ?>
View by Category
About This Presentation
Title:

Tool Support for proof Engineering

Description:

University of Wisconsin-Madison. Madison, WI USA. mulhern_at_cs. ... Otter/Ivy. Isabelle/Isar. Alfa/Agda. ACL2. PhoX. IMPS. Metamath. Theorema. Lego. Nuprl. Omega ... – PowerPoint PPT presentation

Number of Views:35
Avg rating:3.0/5.0
Slides: 33
Provided by: pagesC
Learn more at: http://pages.cs.wisc.edu
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com