According to
https://stackoverflow.com/questions/53114522/development-of-the-coq-library-add-loadpath-solution-is-not-good-enough
it is good practice to add "From ZFC " to every "Require Import", rename filename "Make" to "_CoqProject" everywhere, and deleting the first line "-R . ZFC".
By the way, usual name is "zfc", not "ZFC".
I think we may
a)change the name of github repository to "ZFC" (which is more reasonable variant, but something may go wrong, for example for my fork. Or may not.)
b)or change everywhere name to "zfc". "From zfc Require ...". (not very good solution, (a) is better).
According to
https://stackoverflow.com/questions/53114522/development-of-the-coq-library-add-loadpath-solution-is-not-good-enough
it is good practice to add "From ZFC " to every "Require Import", rename filename "Make" to "_CoqProject" everywhere, and deleting the first line "-R . ZFC".
By the way, usual name is "zfc", not "ZFC".
I think we may
a)change the name of github repository to "ZFC" (which is more reasonable variant, but something may go wrong, for example for my fork. Or may not.)
b)or change everywhere name to "zfc". "From zfc Require ...". (not very good solution, (a) is better).