lo.logic - Function extensionality: does it make a difference? why would one keep it out of the axioms? - MathOverflow - discu.eu

Linking pages

Why Aren’t Idris Interfaces Verified? | Something Something Programming https://nickdrozd.github.io/2020/04/23/idris-interfaces.html 0 comments

Related searches:

Search whole site: site:mathoverflow.net

Search title: lo.logic - Function extensionality: does it make a difference? why would one keep it out of the axioms? - MathOverflow

See how to search.

Submit link to: