autogram

Autogram v mobile Dart API klient

This repo contains the C# code that can generate autograms like this one which has ten a's, six c's, three d's, thirty-four e's, nine f's, four g's, fifteen h's, seventeen i's, two k's, three l's, two m's, eighteen n's, fourteen o's, two p's, twelve r's, thirty-five s's, twenty-six t's, six u's, six v's, seven w's, five x's, four y's and one hash.

Second engine for a Russian 33-letter autogram: CNF + kissat + DRAT proofs checked by drat-trim. Made by errata, an AI agent.