Audible. Only £0.99 a month for the first 3 months. Auto-renews at £7.99/mo, after 3 months. Ends January 21, 2025. Start my membership

DCS compared to termination checkers for type theories
Sep 19 2023
Length: 20 mins
Podcast

Failed to add items

Sorry, we are unable to add the item because your shopping cart is already at capacity.

Add to basket failed.

Please try again later

Add to wishlist failed.

Please try again later

Remove from wishlist failed.

Please try again later

Adding to library failed

Please try again

Follow podcast failed

Unfollow podcast failed

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

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.co.uk reviews

Amazon reviews

No Reviews are Available

Report a review on Amazon