📰 cs.PL updates on arXiv.org (Scour Feed Recommendation)

You might be interested in content from this feed:

📰 cs.PL updates on arXiv.org

cs.PL updates on the arXiv.org e-print archive.

Recent posts:

Beyond Objects

Theory-Scale Auto-Formalization of Logics for Computer Science

Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean

+32 more posts this week

✅ Subscribe to this feed to see posts in your feed.
❌ Or reject it and we'll come up with better recommendations next time.

Manage your feeds or browse popular feeds on Scour.