Logiciel Année : 2025

Hilbert Basis Theorem in Coq

Résumé

A constructive proof of Hilbert's basis theorem in Coq/Rocq

206 Consultations
0 Téléchargements

Partager

  • More