Skip to content
GitLab
Explore
Sign in
Michael Kohlhase
FormalCAD
Repository
Branches
Overview
Active
Stale
All
Stale branches
master
default
61eb4a6a
·
eliminating Makefiles, they are redundant with lmh
·
Dec 29, 2013