1 post
@hackernews Reanimation of the First Automatic Theorem Prover (From 1956) #HackerNews #Tech #AIHistory
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org