This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
José A. Alonso
jalonso.bsky.social
did:plc:nogtf77xcyjilq52agusqrjx
A formalization of opaque definitions for a dependent type theory. ~ Nils Anders Danielsson, Eve Geng. https://dl.acm.org/doi/10.1145/3759538.3759653 #ITP #Agda #FunctionalProgramming
2025-10-13T09:59:22.685Z