Posted 35 Days Ago Job ID: 1583436 1 quotes received

Help with Gödel's theorem in Isabelle

Hourly $1 - $400
Quotes (1)  ·  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.
Juho K Finland