Report copyright - VeriML: Type-safe computation with terms of higher …astampoulis.github.io/veriml/dtp2010slides.pdfusers have to know internals of proof assistant no information at the type-level
Please pass captcha verification before submit form