← Feed @MartinEscardo@mathstodon.xyz Post #2780917 2026-03-04 22:09 UTC @mevenlennonbertrand@lipn.info Just waiting to see what will happen when somebody prompts Claude about Agda. I am not going to do it myself. Replies (0) No replies.