First Page | Document Content | |
---|---|---|
![]() Date: 2007-05-25 11:04:13Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem | Add to Reading List |