coqtail's logo
French English

Coqtail

COQ Theorems, Abstractions and Implementations (Bachelor-Level)

Team

Members of the junior lab: Related members: