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