Skip to Content Skip to Navigation
Profile image for chris martens

chris martens

@chrisamaphone@hci.social

Bewildered logician

¬(∀x. free(x)) ⇒ ¬∃x. free(x)

This is a member of another server. See their original profile ➔