14 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
Erik Palmgren
When formalizing mathematics in (generalized predicative) constructive type theories, or more practically in proof assistants such as Coq or Agda, one is often using setoids (types…