Mentions légales du service
GitLab upgrade completed. Current version is 18.8.7 https://about.gitlab.com/releases/2026/01/15/gitlab-18-8-released/
A Coq port of FIRRTL
A rule-based HDL embedded within Coq
