182 followers
RT @Jose_A_Alonso: Teaching automated theorem proving by example: PyRes 1.2: (System description). ~ S. Schulz, A. Pease. https://t.co/Vpj0…
RT @Jose_A_Alonso: Teaching automated theorem proving by example: PyRes 1.2: (System description). ~ S. Schulz, A. Pease. https://t.co/Vpj0…
Teaching automated theorem proving by example: PyRes 1.2: (System description). ~ S. Schulz, A. Pease. https://t.co/Vpj0Z4rRWz #ATP #Logic #Python