Time-Aware Proof ASsistants (TAPAS)
  • Jobs
  • Partners
  • Posts
Partners

January 6, 2025

Laboratoire d’Algorithmique, Complexité et Logique (LACL)

  • Members : Régine Laleau, Frédéric Gervais, Youssouf Oualhadj
    © Time-Aware Proof ASsistants (TAPAS) 2025