earl-ducaine/acl2-goedels-incompleteness-theorems

Shankar's NQTHM verification of Gödel's incompleteness theorems, updated for ACL2

This repository is not active