Picture for Daniel Ranalter

Daniel Ranalter

Experiments with Choice in Dependently-Typed Higher-Order Logic

Add code
Oct 11, 2024
Viaarxiv icon