The following pages link to Enrico Tassi (Q205581):
Displaying 30 items.
- (Q1040006) (redirect page) (← links)
- A compact kernel for the calculus of inductive constructions (Q1040007) (← links)
- Formal metatheory of programming languages in the Matita interactive theorem prover (Q1945919) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems (Q2843039) (← links)
- Tinycals: Step by Step Tacticals (Q2867943) (← links)
- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) (Q2879250) (← links)
- A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions (Q2881085) (← links)
- A Language of Patterns for Subterm Selection (Q2914755) (← links)
- Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface (Q2945623) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- Hints in Unification (Q3183522) (← links)
- ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter (Q3460075) (← links)
- (Q3497625) (← links)
- Working with Mathematical Structures in Type Theory (Q3499757) (← links)
- A Modular Formalisation of Finite Group Theory (Q3523168) (← links)
- Smart Matching (Q3582713) (← links)
- Crafting a Proof Assistant (Q3612433) (← links)
- Natural Deduction Environment for Matita (Q3637307) (← links)
- (Q4964707) (← links)
- (Q4964708) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
- The Matita Interactive Theorem Prover (Q5200015) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Canonical Structures for the Working Coq User (Q5327334) (← links)
- A Machine-Checked Proof of the Odd Order Theorem (Q5327343) (← links)
- Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case (Q5428267) (← links)
- (Q5875441) (← links)
- Types for Proofs and Programs (Q5898170) (← links)
- Event indexing systems for efficient selection and analysis of HERA data (Q5944575) (← links)
