Precompiled binaries are available (see underneath), but It is also quick to make LeanCreator from scratch with no system needs other than a C++11 suitable compiler.You signed in with A different tab or window. Reload to refresh your session. You signed out in An additional tab or window. Reload to refresh your session. You switched accounts on Yet