The theorema environment for interactive proof development. Contributed talk at (2005)

by F Piroi, T Kutsia
Venue:12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR’05