Alfa/Agda

Authors:
Thierry Coquand
Affiliations:
No institute given
Venue:
The Seventeen Provers of the World
Year:
2006

Citing 0
Cited 2

Program-ing finger trees in Coq

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Program verification through characteristic formulae

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Statement prime p → noether A (multiple p) → isNotSquare p