Itp2024 Paper Available

May 22, 2024

2024

Our ITP 2024 paper is now publicly available here.

---

Found This Interesting?

Here are some more posts you might like to read next:

• Conveniently computing Bézout Coefficients
• Co-Leibniz Identity for Decidability
• Greatest Common Tiling
• 🚴🏻‍♀️ Do finite Functions cycle 🚴🏿 together? 🚴‍♂️
• Not all Contradictions are created equal