Business Client need Software Development
Contact person: Business Client
Phone:Show
Email:Show
Location: Kollam, India
Budget: Recommended by industry experts
Time to start: As soon as possible
Project description:
"I’m midway through an intensive advanced-algebra course and want to work side-by-side with someone who enjoys digging into C*-algebras, Hopf algebras, and the geometric intuition that links them. Each week I receive problem sets that I’d like to tackle collaboratively, then formalise in Lean 4 using mathlib.
Here’s how I picture our workflow: we meet online, talk through the theory, sketch solutions in LaTeX, and finally encode the proofs in Lean 4 so they compile cleanly. Your Lean know-how will save me hours chasing type errors, while my own notes and questions keep the mathematical discussion lively.
To keep everything concrete, our shared output will be:
• a neatly written PDF (or overleaf file) containing full solutions for the assigned problems
• the corresponding Lean 4 scripts pushed to a Git repo, each proof passing #eval tests or `lake exe cache get`
I’ll judge each week’s milestone on clarity of exposition, mathematical correctness, and a green build in Lean. If this sounds like a fun way to sharpen both algebra skills and formal-proof chops, let’s start with the current set and take it from there." (client-provided description)
Matched companies (6)

Appsdiary Technologies

TechGigs LLP

Codetreasure Co

Knowforth Tech

SYNERGIC SOFTEK SOLUTIONS PVT LTD
