← Feed @clayrat@types.pl 2026-04-01 18:51 UTC @glocq I did a lot of Idris&Coq before, for the last 3 years it's mostly Cubical Agda Replies (0) No replies.