Itp2024 Paper Available

May 22, 2024

2024

Our ITP 2024 paper is now publicly available here.



Found This Interesing?

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

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