Skip to content

The Interval Domain in Homotopy Type Theory

Latest
Latest

Choose a tag to compare

View all tags
@co-dan co-dan released this 15 Feb 11:42
real-numbers
11bb4ed 
The Interval Reals domain

Co-authored-by: Niels van der Weide  <nnmvdw@gmail.com>
Assets 2
Loading