Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
interop
logic
Makefile
Find file
Blame
History
Permalink
Fix interop/logic/Makefile: Coq.Init.Peano is required in interop/arith/
· cad483e2
Raphael Cauderlier
authored
Mar 26, 2017
cad483e2