Hire Freelancers

proof with Lean language

€8-30 EUR

Closed

Posted

almost 3 years ago

€8-30 EUR

Paid on delivery

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

Project ID: 30073329

About the project

1 proposal

Remote project

Active 3 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

1 freelancer is bidding on average €19 EUR for this job

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 in 3 days

4.9

(12 reviews)

4.2

4.2

Post a project like this

About the client

Flag of NETHERLANDS

Diemen, Netherlands

0.0

0

Member since Apr 5, 2021

Client Verification

Other jobs from this client

ER diagram & rational schema

Proof using Lean Solver

Programming in C

Similar jobs

I need to calculate planetary positions using western astrology principals (NEED CODER)..

Online Math Teacher for Number Theory

₹1500-12500 INR

Membrane Technology Expert for Transport Equations

$25-50 USD / hour

I need to calculate planetary positions using western astrology principals (NEED CODER -urgent)

MatLab Expert for Computer Vision Computer Science

Time Series Analysis Expert Needed (Eviews program)

£2-5 GBP / hour

I need to calculate planetary positions using western astrology principals (NEED CODER -Urgent) -- 2

Python Program for Mathematical Solutions

Data analyst/ mathematician/ physicist for a small project

Urgent Pearson MyLab Econometrics Assistance

$25-50 USD / hour

Cellular Communication & Operation Research Expert -- 2

Advanced Paint VOC & Hazard Calculator -- 2

Electrical engineer

$2-8 USD / hour

AP Precalculus and Calculus Online Tutor Needed

₹750-1250 INR / hour

Engineering Theoretical Problem Solver Needed

Advanced 2D CFD Solver in MATLAB

In-Memory Computing Software Advancements

Online Middle School Tutor - Core Subjects

$15-25 USD / hour

Advanced Online GRE Prep for Analysis of Algorithms, Computer Architecture and Operating Systems

Post a project like this

Thanks! We’ve emailed you a link to claim your free credit.

Something went wrong while sending your email. Please try again.

Loading preview

Permission granted for Geolocation.

Your login session has expired and you have been logged out. Please log in again.