Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @newt@stereophonic.space
🌈ᚩ🌈@bonifartius@noauthority.social (2026-09-21 19:44:41)
@newt @waltercool @sun just go for provers directly. agda2 with special emacs mode to type in the math symbols.
---Attachments---
image: https://static.noauthority.social/media_attachments/files/117/308/618/322/584/964/original/9532397dcc60c5fa.png
---Reply---
Blurry Moon@sun@shitposter.world (2026-09-21 19:46:04)
@bonifartius @newt @waltercool every now and then I'm reminded that people here are way smarter than me

---Replies---

🌈ᚩ🌈@bonifartius@noauthority.social (2026-09-21 19:53:49)
@sun @waltercool @newt i'm not smart, i only fiddled with agda2 once for uni (failed horribly at that ;). it was interesting, but more because of the emacs environment which was actually pretty neat.