This repository is not active
anton-trunov/fold-tutorial-talk
Papers We Love. Mad. Talk on fold: slides, Coq file, and links for further reading
TeX
Papers We Love. Mad. Talk on fold: slides, Coq file, and links for further reading
TeX
This repository is not active