Using Isabelle to complete Proofs
Budget: £20 – £250 GBP
I would like to address two simple proofs in the Isabelle theorem prover.
The task will entail implementing 2 simple proofs using Isabelle. Please contact me if you can do this.
Must be able to do this in 1-2 days max.
The task will entail implementing 2 simple proofs using Isabelle. Please contact me if you can do this.
Must be able to do this in 1-2 days max.