1 citations · 1 across the 1 of their papers we have counts for
1 paper
Miguel Pagano, José E. Solsona
In this paper we present our current development on a new formalization of nominal sets in Agda. Our first motivation in having another formalization was to understand better nomin…