This shows you the differences between two versions of the page.

omi [2017/01/20 12:03] pantel |
omi [2017/01/20 12:03] (current) pantel |

| This course tries to bridge the gap between the formal definition and practical use of Mathematical Tools in Computer Science. | | This course tries to bridge the gap between the formal definition and practical use of Mathematical Tools in Computer Science. |

| | | |

- | * [LogicCoq|Propositional and predicate logic using Coq] | + | * **[**[LogicCoq|Propositional and predicate logic using Coq**]**] |

| | | |

- | * Inductive proofs using Coq | + | * **[[InductionCoq|**Inductive proofs using Coq**]]** |

| | | |

- | * Hoare logic using Why3 | + | * **[[HoareCoqWhy3|**Hoare logic using Why3**]]** |