Posted 35 Days Ago
Job ID: 1583436
1 quotes received
October 10, 2019
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.
Become a member
to ask a question, view Q&A, and get more benefits.
Require ebook writer for the topic given
Hourly | Not rate specifiedPosted: September 25, 2019
NotSure | Not rate specifiedPosted: September 23, 2019
NotSure | Not rate specifiedPosted: September 16, 2019