Time-Aware Proof ASsistants (TAPAS)
Partners
Posts
January 6, 2025
Laboratoire d’Informatique de Paris-Nord (LIPN)
Members: Laure Petrucci, Étienne André