Mentions légales du service

Admin message

GitLab upgrade completed. Current version is 19.2.8
https://docs.gitlab.com/releases/19/gitlab-19-2-released/

I

ITDI

Project information

Coq Implementation of Intrinsically Typed Definitional Interpreter in the style of Poulsen et al.

5 Commits
1 Branch
0 Tags

README

Created on

May 17, 2022

Loading