Posted 40 Days Ago Job ID: 1583407 0 quotes received

Help with Gödel's theorem in Isabelle

Hourly $1 - $400 W9 Required for U.S.
Quotes (0)  ·  Premium Quotes (0)  ·  Invited (0)  ·  Hired (0)

  Send before: October 10, 2019

Send a Quote

Programming & Dev Management / Leadership / Training

I'm trying to understand Gödel's theorem written in the Isabelle proof assistant. Here's the code https://www.isa-afp.org/entries/Incompleteness.html

I'm hoping to hire someone to walk me through the code.
John O United States