Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
179 contributions in the last year
Created an issue in atlanmod/CoqTL that received 4 comments
Currently, we don't have resolve functions that specify the target elements (being resolved) at which iteration should be return.