Software verzenden

Programma's van coqtail.sf.net

  • Coqtail Gratis

    COQ Theoremen, Abstracties and Implementations (bachelor Level) Coqtail is een bibliotheek van wiskundige proefs met behulp van de Coq proof assistant.