Upwork home
Sign up
Project Catalog
DesignDesign
Video & AudioVideo & Audio
Development & ITDevelopment & IT
MarketingMarketing
Writing & TranslationWriting & Translation
MoreMore

You will get your math formalized in Lean 4!

Zorelys L.Status: Offline
Zorelys L.
Preview image

Let a pro handle the details

Buy Other Web Programming services from Zorelys, priced and ready to go.
Zorelys L.Status: Offline
Zorelys L.
Preview image

Let a pro handle the details

Buy Other Web Programming services from Zorelys, priced and ready to go.

Project details

Formal proof is our home turf: our own infrastructure runs on a Lean 4 codebase with hundreds of machine-checked theorems. We formalize mathematics and verify software for people who need certainty: mathematicians transcribing results into Lean 4, teams verifying a critical algorithm, and researchers who want a proof engineer who already speaks both languages. Scope is agreed from your paper or spec, everything builds against current Mathlib, and proofs ship with CI so they stay green as Mathlib moves. If a result is not practically formalizable at today's state of the art, the feasibility study says so plainly instead of burning your budget discovering it.
Programming Languages
Scala
Coding Expertise
Security
What's included
Service Tiers Starter
$2,000
Standard
$6,000
Advanced
$15,000
Delivery Time 7 days 20 days 30 days
Number of Revisions
011
Source Code
-
-
-
Zorelys L.Status: Offline

About Zorelys

Zorelys L.Status: Offline
Executive Assitant
San Juan, Puerto Rico - 12:55 am local time
A versatile and ambitious professional seeking an opportunity to utilize my diverse skill set in accounting, writing, modeling, photography, and design to contribute to the success of an organization. With a strong academic foundation in accounting and a proven ability to excel in creative and artistic pursuits, I am driven to deliver exceptional results and exceed expectation

Steps for completing your project

After purchasing the project, send requirements so Zorelys can start the project.

Delivery time starts when Zorelys receives requirements from you.

Zorelys works on your project following the steps below.

Revisions may occur after the delivery date.

Specification & Scope Alignment

Read the paper or spec and agree scope and notation mapping with you.

Definition Formalization & Review

Formalize definitions and theorem statements first, and review them with you.

Review the work, release payment, and leave feedback to Zorelys.