Time-Aware Proof ASsistants (TAPAS)
Partners
Posts
January 6, 2025
Université de Sherbrooke
Member:
Marc Frappier