prove using isabelle proof assistant - -- 2

i can learn isabelle and do it. have knowledge about first order logic though. Relevant Skills and Experience algorithm Proposed Milestones $160 AUD - all

Prove as yet specified theorem with Isabelle. Relevant Skills and Experience I haven't ever used Isabelle, however I have done a bit of formal logic and have worked with numerous functional programming languages, including Idris (in which proofs play a large role). Proposed Milestones $250 AUD - the proof