D

DPRM

Project information

Formal verification of the Davis-Putnam-Robinson-Matiyasevich theorem in Isabelle.

768 Commits
1 Branch
0 Tags

Created on

April 11, 2019

Loading