nLab
pi-r-squared team

This is a research group formed within PPS, working on rewriting and Coq.

The team πr 2\pi r^2 covers three research topics:

  • Fundamental research concerning the correspondence between proofs and programs

  • Theoretical research on the formalism that underlies the Coq proof assistant

  • An implementation research field with the development of Coq, especially in the view of Coq as dependently-typed programming language

References

Created on May 6, 2013 at 17:02:05. See the history of this page for a list of all contributions to it.