• DCS compared to termination checkers for type theories

  • Sep 19 2023
  • Length: 20 mins
  • Podcast

DCS compared to termination checkers for type theories

Listen for free

View show details

  • Summary

  • In this episode, I continue introducing DCS by comparing it to termination checkers in constructive type theories like Coq, Agda, and Lean. I warmly invite ITTC listeners to experiment with the tool themselves. The repo is here.

    Show More Show Less
Mathematics Science
Show More Show Less
activate_samplebutton_t1

What listeners say about DCS compared to termination checkers for type theories

Average Customer Ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.com.au reviews

Amazon Reviews
No Reviews are Available
In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.