search

nomeata / incredible

The Incredible Proof Machine
MIT License
358 stars 36 forks source link

Make "Machine" in the header more of a play on quantifiers #140

Open ggreif opened 10 months ago

ggreif commented 10 months ago

reverses the A too, like this:

Screenshot 2023-11-02 at 18 34 03
nomeata commented 10 months ago

Thanks for the contribution! I think I prefer the more subtle pun as it is, though :-)