chris martens chrisamaphone@hci.social
Bewildered logician
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
Omar Rizwan @omar@social.omar.website
"we are makers, not agents / we make them all"
Bewildered logician
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
"we are makers, not agents / we make them all"