Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **User Interaction with the Matita Proof Assistant**.
-[[toggle id=abstractfoo text="abstract"]]
+[[toggle id=matita text="abstract"]]
-[[toggleable id=abstractfoo text="""
+[[toggleable id=matita text="""
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.
"""]]