Search filters

List of works by Enrico Tassi

A Content Based Mathematical Search Engine: Whelp

A Machine-Checked Proof of the Odd Order Theorem

article

Crafting a Proof Assistant

Tinycals: Step by Step Tacticals

article by Claudio Sacerdoti Coen et al published May 2007 in Electronic Notes in Theoretical Computer Science

User Interaction with the Matita Proof Assistant

Paulina is supported by:

About Paulina

Help