Post #2735445
2026-04-21 21:50 UTC
@MartinEscardo@mathstodon.xyz It's currently in a private repository full of experiments and solutions to competitive programming problems that I don't want to make public, but I will copy it somewhere public soon.
Replies (1)
-
@byorgey@mathstodon.xyz 2026-04-25 19:22
@MartinEscardo@mathstodon.xyz It's now publicly available from http://ozark.hendrix.edu/~yorgey/pub/FTA.agda .