Functional / Lean4 programmer for short term project

Stream: job postings

[Paul Meixler]

We are converting two Python programs into Lean4 and have a first attempt, but require assistance getting the programs working - reading xml files. We will compensate for time. Please assist.

[ivan rojas]

Paul Meixler said:

We are converting two Python programs into Lean4 and have a first attempt, but require assistance getting the programs working - reading xml files. We will compensate for time. Please assist.

hey im relatively new to lean myself; although i may take considerably more time, i would like to give it a go. I have worked with xml on React js and python, as well as android studio/java (eclipse/VScode)