Skip to content

Tennenbaum's Theorem
Compare
Choose a tag to compare
@dominik-kirst dominik-kirst released this 20 Oct 16:22
· 5 commits to coq-8.16 since this release
tennenbaum
c20f773
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This fixes the state of the FOL library corresponding to the journal version of the paper "An Analysis of Tennenbaum's Theorem in Constructive Type Theory" by Marc Hermes and Dominik Kirst.

Assets 2
Loading