Mella

MaRDI QIDQ21667swMATHFDO

Official website http://arxiv.org/pdf/1112.3833v1.pdf

Cited in

(1)

• Dependently Typed Programming Based on Automated Theorem Proving

This page was built for software: Mella