About Constructive vectors

  • Authors:

  • Jean Duprat

  • Affiliations:

  • Equipe Plume, Laboratoire Lip, ENS de Lyon, CNRS, INRIA

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

We explore several ways of constructively implementing vectors in proof assistants and we discuss their advantages and their drawbacks.