Non-Wellfounded Trees in Homotopy Type Theoryarxiv.org1 point·yenwel··0 commentsOpen articleSaveView on HN