GitHub repository: uds-psl/H10
Primary language: HTML
Created: 2019-02-11T20:08:06Z
Description: Static version of https://github.com/uds-psl/coq-library-undecidability for paper "Hilbert's tenth problem in Coq"