The following pages link to Claudio Sacerdoti Coen (Q651318):
Displaying 26 items.
- Lebesgue's dominated convergence theorem in Bishop's style (Q651319) (← links)
- Spurious disambiguation errors and how to get rid of them (Q841693) (← links)
- (Q1040005) (redirect page) (← links)
- A compact kernel for the calculus of inductive constructions (Q1040007) (← links)
- Mathematical knowledge management in HELM (Q1810904) (← links)
- Formal metatheory of programming languages in the Matita interactive theorem prover (Q1945919) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- Relational data across mathematical libraries (Q2287899) (← links)
- The Coq library as a theory graph (Q2287907) (← links)
- A plugin to export Coq libraries to XML (Q2287917) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- On the value of variables (Q2401632) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Declarative representation of proof terms (Q2655330) (← links)
- (Q2767919) (← links)
- Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I (Q2866803) (← links)
- Tinycals: Step by Step Tacticals (Q2867943) (← links)
- A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions (Q2881085) (← links)
- On the Value of Variables (Q2938129) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- Hints in Unification (Q3183522) (← links)
- (Q5111895) (← links)
- A User Interface for a Mathematical System that Allows Ambiguous Formulae (Q5166498) (← links)
- Matita Tutorial (Q5195259) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
