Anyone recommend any parsers for ASCII-style proof notation? Stuff like this: https://plfa.github.io/Lambda/#derivation
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!