No. |
Title |
Author |
Year |
---|

1 |
Machine-Checked Computational Mathematics (Invited Talk) |
Mahboubi, Assia |
2023 |

2 |
Gardening with the Pythia A Model of Continuity in a Dependent Setting |
Baillon, Martin et al. |
2022 |

3 |
Mathematical Structures in Dependent Type Theory (Invited Talk) |
Mahboubi, Assia |
2021 |

4 |
Unsolvability of the Quintic Formalized in Dependent Type Theory |
Bernard, Sophie et al. |
2021 |

5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Bezem, Marc et al. |
2020 |

6 |
LIPIcs, Volume 175, TYPES 2019, Complete Volume |
Bezem, Marc et al. |
2020 |

7 |
A Certificate-Based Approach to Formally Verified Approximations |
BrĂ©hard, Florent et al. |
2019 |

8 |
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341) |
Bauer, Andrej et al. |
2019 |

9 |
Programming and certifying a CAD algorithm in the Coq system |
Mahboubi, Assia |
2006 |