Team Parsifal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Software

Taci

Participants : David Baelde, Dale Miller, Zachery Snow.

During the summer of 2007, Baelde (LIX PhD student) and visiting intern Zachery Snow (PhD student from the University of Minnesota) built a prototype theorem prover, called Taci , that we are currently using “in-house” to experiment in a number of large examples and a few different logics. We hope to make the tool available eventually once we have settled into the exact logic that it should support.


previous
next

Logo Inria