#automatedtheoremproving — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #automatedtheoremproving, aggregated by home.social.
-
[New Blog Post] Reading Proof Objects and Completed Rewrite Systems from eprover into Knuckledragger https://www.philipzucker.com/proof_processing/ #python #logic #automatedtheoremproving #formalmethods
-
[New Blog Post] An Inequality Union Find Inspired by Atomic Asymmetric Completion https://www.philipzucker.com/asymmetric_complete/ #logic #automatedtheoremproving
-
it's like a scene from Reservoir Dogs