Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
dklib
Repository
dklib
dk_bool.dk
Find file
Blame
History
Permalink
Ronan's modification for syntax of Dedukti v2.4
· 68ef4834
Raphaël Cauderlier
authored
Aug 19, 2015
68ef4834