Skip to content

Hilbert Tenth problem in Coq (LMCS) v1.1

Choose a tag to compare

View all tags
@DmxLarchey DmxLarchey released this 27 May 23:07
H10-LMCS-v1.1
ff5b1e1

Hilbert’s Tenth problem in Coq

Dominique Larchey-Wendling [email protected], Yannick Forster [email protected]

This repository contains the Coq formalisation of the paper Hilbert’s tenth problem in Coq, submitted as a revised preprint to Logical Methods in Computer Science. Consult the README.md for installation instructions.

Assets 2
Loading