proof with Lean language

€8-30 EUR

Zaprt

Objavljeno

pred skoraj 3 leti

€8-30 EUR

Plačilo ob dostavi

i have to proof theorom using Lean rul have a look at the following link for an example, if you think you can do help me with this type of example let me know. https://leanprover-community.github.io/lean-web-editor/#code=namespace%20Ques_09%0A%0Avariables%20D%20E%20%3A%20Prop%0A%0Atheorem%20Ques_9%20%28h%20%3A%20D%20%E2%88%A8%20E%29%20%28h2%20%3A%20%C2%AC%20D%29%20%3A%20E%20%3A%3D%0A%0A%0A--%20end%20namespace%0Aend%20Ques_09

Computer Science

Mathematics

ID projekta: 30073329

Več o projektu

1 ponudba

Projekt na daljavo

Aktivno pred 3 leti

Želite zaslužiti?

E-naslov

Prednosti oddajanja ponudb na Freelancerju

Nastavite svoj proračun in časovni okvir

Prejmite plačilo za svoje delo

Povzetek predloga

Registracija in oddajanje ponudb sta brezplačna

1 freelancer je oddal ponudbo s povprečno vrednostjo €19 EUR za to delo

@citadel98

MASTERS IN COMPUTER SCIENCE HELLO DEAR CLIENT I have gone through your project details and the work is DOABLE since its within my area of EXPERTISE.I will tackle are required guideline to deliver desired goal Please consider my bid. THANKS

€19 EUR v 3 dneh