Assia Mahboubi

1. Trocq: Proof Transfer for Free, With or Without Univalence
   2023/10/21 by Cyril Cohen, Enzo Crance, Cohen, Cyril +3 · 2 citations
   Computer Science · Mathematics · #F.3.3 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematical and Computational Methods #Polynomial and algebraic computation
2. A Formal Proof of the Irrationality of ζ(3)
   2019/12/13 by Assia Mahboubi, Thomas Sibut-Pinote · 1 voice
   Computer Science · #cs.LO