Aaron Stump

Verified Functional Programming in Agda

Подробнее