3 ms·

I will organize a recent Windows machine with newest versions of these tools and test/debug there myself (https://github.com/rochus-keller/LeanCreator/issues/3

by Rochus 4y ago

I will organize a recent Windows machine with newest versions of these tools and test/debug there myself (https://github.com/rochus-keller/LeanCreator/issues/3 https://github.com/rochus-keller/LeanCreator/issues/3).