Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
mpri-2.4-public
Repository
mpri-2.4-public
coq
MyTactics.v
Find file
Blame
History
Permalink
Update the formalizations of STLC and System F.
· 55f8ca2f
POTTIER Francois
authored
Nov 24, 2020
55f8ca2f