Simple enough to install: sudo apt install agda
Didn't get it set up in GnoponEmacs though, I'll need to learn more about Agda first.
It contains terms, texts, and letters organized by domain. Content grows and changes as research continues.
This means there might be mistakes, and some pages are more complete than others.
Content is licensed CC BY-SA 4.0. If you find it useful, consider supporting the work on Ko-fi.
Simple enough to install: sudo apt install agda
Didn't get it set up in GnoponEmacs though, I'll need to learn more about Agda first.