#proofsearch — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proofsearch, aggregated by home.social.
-
I want to know how to implement solvers for systems of inference rules; there must be lots of literature. What do I search for?
(naive search only turns up trivialities)